Require s-cargot >= 0.1.6.0, accept new test output

GaloisInc · Apr 18, 2023 · 1c6ad57 · 1c6ad57
1 parent d08ddf8
commit 1c6ad57
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/semmc/semmc.cabal b/semmc/semmc.cabal
@@ -72,7 +72,7 @@ library
                        located-base,
                        text >= 1 && < 2.1,
                        exceptions >= 0.8 && < 0.11,
-                       s-cargot >= 0.1.4.0 && < 0.2,
+                       s-cargot >= 0.1.6.0 && < 0.2,
                        s-cargot-letbind >= 0.2.2.0 && < 0.3,
                        dismantle-tablegen,
                        crucible >= 0.4,

diff --git a/semmc/tests/semstore/ParamFormulaTests.hs b/semmc/tests/semstore/ParamFormulaTests.hs
@@ -404,8 +404,8 @@ testRoundTripPrintParse =
           sexprTxt @?= (T.strip $ T.pack $ unlines
                         [ ";; " <> show opcode <> " (no arguments)"
                         , "((operands ())"
-                        , " (in ())"
-                        , " (defs ()))"
+                        , "  (in ())"
+                        , "  (defs ()))"
                         ])
           -- verify that the expression can be parsed back into a Formula
           Some r <- liftIO newIONonceGenerator