Files
cvc5/test/unit/api/java/TermTest.java
Daniel Larraz 27b2af6ebe ci: Use the lowest supported Java version for each platform (#11925)
This PR uses Java 8 in CI, except on macOS arm64, where the minimum
supported Java version is 11. This ensures that the Java bindings, Java
API tests, and Java examples are compatible with the minimum required
Java version. It also ensures that the published Java bindings on GitHub
can run with this older version. Previously, CMake enforced
compatibility for the Java bindings, but not for the Java API tests or
the Java examples. This change provides a more centralized solution.

This PR also fixes a Java unit test to make it compatible with Java 8.
2025-06-02 20:54:09 +00:00

50 KiB