| Wed, 17 Nov 2010 08:14:55 +0100 | boehmes | keep input and output files used to communicate with the SMT solver (for debugging purposes mainly) | file | diff | annotate |
| Fri, 12 Nov 2010 17:28:43 +0100 | boehmes | check the return code of the SMT solver and raise an exception if the prover failed | file | diff | annotate |