53 Commits

Author	SHA1	Message	Date
Brian Huffman	ec0395e9d0	Update regression test number 289, which now runs successfully. ... This test works as of revision db08bfafa9. Versions of SBV prior to 3.1 did not distinguish the boolean type from the size-1 bitvector type; this example uses literals like "0b0" and "0b1", so it triggered the SBV bug, which manifested as a type error from the external SMT solver.	2014-07-21 16:01:43 -07:00
Dylan McNamee	b7cad1c5b0	fixing issue290 - it was a bug in the brain of the reporter. ... imports need to be qualified to support this behavior.	2014-04-22 17:03:24 -07:00
Adam C. Foltzer	ba0a0e8576	Initial import from internal repo	2014-04-17 15:34:25 -07:00