Support running multiple solidity files

crytic / optik

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

https://github.com/crytic/optik

Other

89 stars 12 forks source link

Support running multiple solidity files #28

Open Boyan-MILANOV opened 2 years ago

Boyan-MILANOV commented 2 years ago

We should support multiple solidity files as input, and use the --contract argument to know which contract bytecode to read from the crytic-export directory

Note: this is not about supporting multiple contracts deployment

Boyan-MILANOV commented 2 years ago

It seems that Echidna actually doesn't really support multiple solidity files as input, so support it in Optik might not be necessary, and is a low-priority task.