You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
195 tests failed on building with Gradle: mostly they caused by java.lang.RuntimeException at LogicTests.java:123
but there are few others like org.junit.ComparisonFailure at LogicsBadPath.java:26 java.lang.RuntimeException at LogicsBadPath.java:14 java.lang.AssertionError at RunTests.java:28
and java.lang.NullPointerException at FileTests.java:44
The text was updated successfully, but these errors were encountered:
@davidcok I am happy to merge this version back to the main repository, but the change in c19cd45
for the LogicTests file back to z3_4_3 make the current master branch incompatible with the Gradle build running all tests on the shipped Z3 4.8.5 binaries. Fell free to ping me, if you are interested in merging back my GitHub Actions with the Gradle build to your main repository.
195 tests failed on building with Gradle: mostly they caused by
java.lang.RuntimeException at LogicTests.java:123
but there are few others like
org.junit.ComparisonFailure at LogicsBadPath.java:26
java.lang.RuntimeException at LogicsBadPath.java:14
java.lang.AssertionError at RunTests.java:28
and
java.lang.NullPointerException at FileTests.java:44
The text was updated successfully, but these errors were encountered: