sbvPlugin-0.1: tests/GoldFiles/T06.hs.golden
[SBV] tests/T06.hs:10:1 Proving "f", using Z3. [Z3] Falsifiable. Counter-example: x = -128 :: Int8 [SBV] Failed. (Use option 'IgnoreFailure' to continue.)
[SBV] tests/T06.hs:10:1 Proving "f", using Z3. [Z3] Falsifiable. Counter-example: x = -128 :: Int8 [SBV] Failed. (Use option 'IgnoreFailure' to continue.)