java-smt

java-smt copied to clipboard

With JavaSMT 5.0.0 and SMTInterpol 2.5-1242-g5c50fb6d we get the following crash: ``` Exception in thread "main" java.lang.AssertionError at de.uni_freiburg.informatik.ultimate.smtinterpol.theory.cclosure.CCTerm.unshare(CCTerm.java:292) at de.uni_freiburg.informatik.ultimate.smtinterpol.convert.Clausifier.pop(Clausifier.java:2343) at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.SMTInterpol.pop(SMTInterpol.java:406) at org.sosy_lab.java_smt.solvers.smtinterpol.SmtInterpolAbstractProver.close(SmtInterpolAbstractProver.java:220) at org.sosy_lab.java_smt.basicimpl.withAssumptionsWrapper.BasicProverWithAssumptionsWrapper.close(BasicProverWithAssumptionsWrapper.java:117) at org.sosy_lab.cpachecker.util.predicates.smt.BasicProverEnvironmentView.close(BasicProverEnvironmentView.java:85) at...

PhilippWendler