Failing Tests in YASA

[h3ssto]

Following the installation procedure (after applying the fix from #6) under Ubuntu 24.04 | Arch currently fails with a bunch of failing tests:

./gradlew build

Task :formula:compileJava
Note: Some input files use or override a deprecated API.
Note: Recompile with -Xlint:deprecation for details.

Task :evaluation:spotbugsMain
SpotBugs ended with exit code 1

Task :base:test

IComputationTest > simpleComputation() FAILED
java.lang.RuntimeException at IComputationTest.java:53

OpenJDK 64-Bit Server VM warning: Sharing is only supported for boot loader classes because bootstrap classpath has been appended

Task :base:test

48 tests completed, 1 failed

Task :base:test FAILED

Task :base:spotbugsMain
SpotBugs ended with exit code 1

Task :uvl:compileJava
Note: /home/h3ssto/_git/ddueruem/_cache/cache/yasa/uvl/src/main/java/de/featjar/feature/model/io/uvl/UVLFeatureModelFormat.java uses or overrides a deprecated API.
Note: Recompile with -Xlint:deprecation for details.

Task :formula-analysis-kissat:spotbugsMain
SpotBugs ended with exit code 1

Task :formula-analysis-cadical:spotbugsMain
SpotBugs ended with exit code 1

Task :formula:spotbugsTest
SpotBugs ended with exit code 1

Task :formula:spotbugsMain
SpotBugs ended with exit code 1

Task :feature-model:spotbugsTest
SpotBugs ended with exit code 1

Task :formula-analysis-javasmt:spotbugsMain
SpotBugs ended with exit code 1

Task :feature-model:spotbugsMain
SpotBugs ended with exit code 1

Task :formula-analysis-sat4j:spotbugsMain
SpotBugs ended with exit code 1

Task :formula-analysis-ddnnife:spotbugsMain
SpotBugs ended with exit code 1

Task :formula-analysis-sat4j:test

YASAIncrementalTest > testBothCoverageRandom() FAILED
org.opentest4j.AssertionFailedError at YASAIncrementalTest.java:180

YASAIncrementalTest > formulaHas3WiseCoverage() FAILED
org.opentest4j.AssertionFailedError at YASAIncrementalTest.java:215

YASAIncrementalTest > formulaHas2WiseCoverage() FAILED
org.opentest4j.AssertionFailedError at YASAIncrementalTest.java:215

YASAIncrementalTest > gplHas3WiseCoverage() FAILED
org.opentest4j.AssertionFailedError at YASAIncrementalTest.java:215

YASAIncrementalTest > gplHas2WiseCoverage() FAILED
org.opentest4j.AssertionFailedError at YASAIncrementalTest.java:215

YASAIncrementalTest > gplRunsUntilTimeout() FAILED
org.opentest4j.AssertionFailedError at YASAIncrementalTest.java:130

YASAIncrementalTest > modelWithFreeVariablesHas3WiseCoverage() FAILED
org.opentest4j.AssertionFailedError at YASAIncrementalTest.java:215

YASAIncrementalTest > modelWithFreeVariablesHas2WiseCoverage() FAILED
org.opentest4j.AssertionFailedError at YASAIncrementalTest.java:215

YASATest > testBothCoverageRandom() FAILED
org.opentest4j.AssertionFailedError at YASATest.java:180

YASATest > formulaHas3WiseCoverage() FAILED
org.opentest4j.AssertionFailedError at YASATest.java:215

YASATest > formulaHas2WiseCoverage() FAILED
org.opentest4j.AssertionFailedError at YASATest.java:215

YASATest > gplHas3WiseCoverage() FAILED
org.opentest4j.AssertionFailedError at YASATest.java:215

YASATest > gplHas2WiseCoverage() FAILED
org.opentest4j.AssertionFailedError at YASATest.java:215

YASATest > gplRunsUntilTimeout() FAILED
org.opentest4j.AssertionFailedError at YASATest.java:130

YASATest > modelWithFreeVariablesHas3WiseCoverage() FAILED
org.opentest4j.AssertionFailedError at YASATest.java:215

YASATest > modelWithFreeVariablesHas2WiseCoverage() FAILED
org.opentest4j.AssertionFailedError at YASATest.java:215

44 tests completed, 16 failed

Task :formula-analysis-sat4j:test FAILED

FAILURE: Build completed with 2 failures.

1: Task failed with an exception.

• What went wrong:
  Execution failed for task ':base:test'.
  There were failing tests. See the report at: file:///home/h3ssto/_git/ddueruem/_cache/cache/yasa/base/build/reports/tests/test/index.html

• Try:
  Run with --scan to get full insights.
  ==============================================================================

2: Task failed with an exception.

• What went wrong:
  Execution failed for task ':formula-analysis-sat4j:test'.
  There were failing tests. See the report at: file:///home/h3ssto/_git/ddueruem/_cache/cache/yasa/formula-analysis-sat4j/build/reports/tests/test/index.html