Tests: Decompile: fix compilation errors

ethereum · Nov 16, 2023 · 27f9b9e · 27f9b9e
1 parent 0017d6b
commit 27f9b9e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Test/Decompile.hs b/src/Test/Decompile.hs
@@ -7,6 +7,8 @@ import Test.Tasty
 import Test.Tasty.ExpectedFailure
 import Test.Tasty.HUnit
 import EVM.Solidity
+import EVM.SymExec
+import EVM.Solvers
 import Data.List.NonEmpty qualified as NE
 import Data.Map qualified as Map
 import Data.Maybe
@@ -103,7 +105,7 @@ checkDecompilation contract src = do
   json <- solc Solidity src
   let (Contracts sol, _, _) = fromJust $ readStdJSON json
   let c = fromJust $ Map.lookup ("hevm.sol:" <> contract) sol
-  decompile c >>= \case
+  decompile c CVC5 1 Nothing defaultVeriOpts >>= \case
     Left es -> do
       T.putStrLn es
       assertBool "decompilation should succeed" False