File tree Expand file tree Collapse file tree 1 file changed +6
-7
lines changed Expand file tree Collapse file tree 1 file changed +6
-7
lines changed Original file line number Diff line number Diff line change @@ -99,17 +99,16 @@ prepareTests = do
9999 rootDir <- liftIO rootDirectory
100100 liftIO $ putStrLn $ " Loading and parsing json files from ethereum-tests from " <> show rootDir
101101 cases <- liftIO allTestCases
102- session <- EVM.Fetch. mkSessionWithoutCache
103- groups <- forM (Map. toList cases) (\ (f, subtests) -> testGroup (makeRelative rootDir f) <$> (process subtests session))
102+ groups <- forM (Map. toList cases) (\ (f, subtests) -> testGroup (makeRelative rootDir f) <$> (process subtests))
104103 liftIO $ putStrLn " Loaded."
105104 pure $ testGroup " ethereum-tests" groups
106105 where
107- process :: forall m . App m => (Map String Case ) -> EVM.Fetch. Session -> m [TestTree ]
108- process tests session = forM (Map. toList tests) $ runTest session
106+ process :: forall m . App m => (Map String Case ) -> m [TestTree ]
107+ process tests = forM (Map. toList tests) runTest
109108
110- runTest :: App m => EVM.Fetch. Session -> (String , Case ) -> m TestTree
111- runTest session (name, x) = do
112- let fetcher q = withSolvers Z3 0 1 (Just 0 ) $ \ s -> EVM.Fetch. oracle s ( Just session) EVM.Fetch. noRpc q
109+ runTest :: App m => (String , Case ) -> m TestTree
110+ runTest (name, x) = do
111+ let fetcher q = withSolvers Z3 0 1 (Just 0 ) $ \ s -> EVM.Fetch. noRpcFetcher s q
113112 exec <- toIO $ runVMTest fetcher x
114113 pure $ testCase' name exec
115114 testCase' :: String -> Assertion -> TestTree
You can’t perform that action at this time.
0 commit comments