Mon, 15 Nov 2010 17:35:57 +0100 | boehmes | trace more solver output before raising an exception due to a non-zero return code (avoids truncating potential counterexamples produced by Z3) | changeset | files |
Mon, 15 Nov 2010 17:04:53 +0100 | bulwahn | merged | changeset | files |
Mon, 15 Nov 2010 13:40:12 +0100 | bulwahn | ignoring the constant STR in the predicate compiler | changeset | files |