Commit 4be143d
authored
2 files changed
+2
-2
lines changed- silver+1-1
- src/main/scala/Config.scala+19-167
- src/main/scala/decider/CVC5ProverStdIO.scala+2-2
- src/main/scala/decider/Z3ProverAPI.scala+4-4
- src/main/scala/decider/Z3ProverStdIO.scala+2-2
- src/main/scala/rules/Consumer.scala+7-3
- src/main/scala/rules/Producer.scala+6-3
- src/main/scala/verifier/DefaultMainVerifier.scala+4-4
0 commit comments