sbvPlugin-0.2: tests/GoldFiles/T38.hs.golden
[SBV] tests/T38.hs:9:1 Proving "f", using Z3. [Z3] Falsifiable. Counter-example: a = 1 :: Int64 b = 2 :: Int64 c = 4 :: Int64 [SBV] Failed. (Use option 'IgnoreFailure' to continue.)
[SBV] tests/T38.hs:9:1 Proving "f", using Z3. [Z3] Falsifiable. Counter-example: a = 1 :: Int64 b = 2 :: Int64 c = 4 :: Int64 [SBV] Failed. (Use option 'IgnoreFailure' to continue.)