Integration tests no longer work

[Drodt]

Description

When running integration tests like testRunAllFunProofs, gradle immediately (successfully) finishes and notes "NO SOURCE".

I suspect the update to Gradle v9 might be the culprit.

Reproducible

Is the issue reproducible?

Yes, always.

Steps to reproduce

Describe the steps needed to reproduce the issue.

1. Start the Gradle task testRunAllFunProofs
2. See result

What is your expected behavior and what was the actual behavior?

Expected: Gradle runs tests

Actual: No test runs

Additional information

Add more details here. In particular: if you have a stacktrace, put it here.

---

• Commit: 0f9c566