Skip to content

Commit 44c0dc9

Browse files
committed
Test: Remove session from blockchain tests
1 parent dfecaf7 commit 44c0dc9

File tree

1 file changed

+6
-7
lines changed

1 file changed

+6
-7
lines changed

test/EVM/Test/BlockchainTests.hs

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff 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

0 commit comments

Comments
 (0)