Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Multicore #963

Merged
merged 13 commits into from
May 5, 2023
Merged

Multicore #963

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
690e949
Multicore
arcz Jan 10, 2023
de13ede
Try different approach for stopping workers
arcz Apr 29, 2023
a39be0e
Fix windows warning
arcz Apr 29, 2023
0c11b96
Cleanup
arcz Apr 30, 2023
744b3ac
Distribute corpus replay across workers
arcz Apr 30, 2023
32460cf
Change jobs to workers in config and CLI
arcz May 1, 2023
15888e0
Fix corpus chunking
arcz May 2, 2023
577270b
Use better chunksOf
arcz May 2, 2023
0ee859d
Fix JSON output
arcz May 2, 2023
5d7acee
Fix rebasing mistake
arcz May 3, 2023
68fc8a8
Fix workers not stopping while fetching RPC
arcz May 3, 2023
bbdfe2d
Fix optimization tests shrinking
arcz May 4, 2023
98f0d05
Dont set Solved for optimization tests
arcz May 4, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 5 additions & 4 deletions lib/Echidna.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
module Echidna where

import Control.Monad.Catch (MonadThrow(..))
import Data.IORef (writeIORef)
import Data.List (find)
import Data.List.NonEmpty (NonEmpty)
import Data.List.NonEmpty qualified as NE
Expand All @@ -18,12 +19,11 @@ import Echidna.Output.Corpus
import Echidna.Processor
import Echidna.Solidity
import Echidna.Test (createTests)
import Echidna.Types.Campaign hiding (corpus)
import Echidna.Types.Campaign
import Echidna.Types.Config
import Echidna.Types.Random
import Echidna.Types.Signature
import Echidna.Types.Solidity
import Echidna.Types.Test
import Echidna.Types.Tx
import Echidna.Types.World

Expand All @@ -44,7 +44,7 @@ prepareContract
-> NonEmpty FilePath
-> Maybe ContractName
-> Seed
-> IO (VM, World, [EchidnaTest], GenDict)
-> IO (VM, World, GenDict)
prepareContract env contracts solFiles specifiedContract seed = do
let solConf = env.cfg.solConf

Expand Down Expand Up @@ -82,7 +82,8 @@ prepareContract env contracts solFiles specifiedContract seed = do
seed
(returnTypes contracts)

pure (vm, world, echidnaTests, dict)
writeIORef env.testsRef echidnaTests
pure (vm, world, dict)

loadInitialCorpus :: Env -> World -> IO [[Tx]]
loadInitialCorpus env world = do
Expand Down
Loading