fix cex

LeventErkok · Sep 9, 2024 · f2bed67 · f2bed67
1 parent 639685f
commit f2bed67
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Documentation/SBV/Examples/KnuckleDragger/ListLen.hs b/Documentation/SBV/Examples/KnuckleDragger/ListLen.hs
@@ -60,9 +60,9 @@ listLengthProof = do
 -- Lemma: bad
 -- *** Failed to prove bad.
 -- Falsifiable. Counter-example:
---   xs   = [42,99,100,101,59,102] :: [Integer]
---   imp  =                     42 :: Integer
---   spec =                      6 :: Integer
+--   xs   = [8,25,26,27,28,42] :: [Integer]
+--   imp  =                 42 :: Integer
+--   spec =                  6 :: Integer
 badProof :: IO ()
 badProof = do
    let length :: SList Integer -> SInteger