Unfortunately, there's a bug in SMTInterpol in java-smt 3.12. This PR updates the dependency and adds works around the problem by catching the thrown exception and doing the right thing. This patch is forwards compatible, so even when they fix the bug the code can remain the same.
Unfortunately, there's a bug in SMTInterpol in
java-smt3.12. This PR updates the dependency and adds works around the problem by catching the thrown exception and doing the right thing. This patch is forwards compatible, so even when they fix the bug the code can remain the same.Closes #1027