Update CVC4 to latest version '2019-11-30-gae93e65'.

sosy-lab · Nov 30, 2019 · 98632b4 · 98632b4
1 parent 31123b9
commit 98632b4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/lib/ivy.xml b/lib/ivy.xml
@@ -137,7 +137,7 @@
         <dependency org="org.sosy_lab" name="javasmt-solver-mathsat" rev="5.5.4-sosy0" conf="runtime-mathsat->solver-mathsat" />
         <dependency org="org.sosy_lab" name="javasmt-solver-z3" rev="4.7.1" conf="runtime-z3->solver-z3" />
         <dependency org="org.sosy_lab" name="javasmt-solver-optimathsat" rev="1.6.3" conf="runtime-optimathsat->solver-optimathsat" />
-        <dependency org="org.sosy_lab" name="javasmt-solver-cvc4" rev="1.8-prerelease-2019-10-05-g6972cfa" conf="runtime-cvc4->solver-cvc4" />
+        <dependency org="org.sosy_lab" name="javasmt-solver-cvc4" rev="1.8-prerelease-2019-11-30-gae93e65" conf="runtime-cvc4->solver-cvc4" />
         <dependency org="org.sosy_lab" name="javasmt-solver-boolector" rev="3.0.0-2019-11-11-g9d06cc0" conf="runtime-boolector->solver-boolector" />
 
         <!-- Guava has a dependency on error_prone_annotations without a revision number, need an override. -->

diff --git a/src/org/sosy_lab/java_smt/solvers/cvc4/CVC4Formula.java b/src/org/sosy_lab/java_smt/solvers/cvc4/CVC4Formula.java
@@ -59,7 +59,8 @@ public final boolean equals(Object o) {
 
   @Override
   public final int hashCode() {
-    return (int) cvc4term.getId(); // ID should work like a hashCode, TODO test this
+    // termId works like a hashCode
+    return cvc4term.getId().intValue();
   }
 
   final Expr getTerm() {