Peter Schrammel c2de887b1e Add unit test for satcheck_minisat2 ... Tests the basic behavior with and without assumptions.		2019-06-18 15:13:44 +01:00
..
bdd/miniBDD	prop_conv_solvert is not a messaget	2019-03-27 14:18:12 +00:00
floatbv	Require a message handler when constructing a propt	2019-02-03 02:20:18 +00:00
lowering	Use bv_typet to fix type consistency in byte-operator lowering	2019-04-11 23:49:19 +00:00
prop	Remove root field of bdd_exprt	2019-03-07 11:02:35 +00:00
sat	Add unit test for satcheck_minisat2	2019-06-18 15:13:44 +01:00
strings	Unit tests for length_of_decimal_int	2019-06-11 17:35:30 +01:00