sbvPlugin-0.2: tests/GoldFiles/T36.hs.golden
[SBV] tests/T36.hs:9:1 Proving "f", using Z3. [Z3] Q.E.D. [SBV] tests/T36.hs:14:1 Proving "g", using Z3. [Z3] Falsifiable. Counter-example: a = -65 :: Int64 b = -65 :: Int64 c = 64 :: Int64
[SBV] tests/T36.hs:9:1 Proving "f", using Z3. [Z3] Q.E.D. [SBV] tests/T36.hs:14:1 Proving "g", using Z3. [Z3] Falsifiable. Counter-example: a = -65 :: Int64 b = -65 :: Int64 c = 64 :: Int64