From 1c6ad57c36c5dd153335d419b7123af48a95b2b4 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Tue, 18 Apr 2023 08:04:41 -0400 Subject: [PATCH] Require s-cargot >= 0.1.6.0, accept new test output --- semmc/semmc.cabal | 2 +- semmc/tests/semstore/ParamFormulaTests.hs | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/semmc/semmc.cabal b/semmc/semmc.cabal index 08e93bea..49ec9d44 100644 --- 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 index d66c2207..f07d0c3c 100644 --- 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