unrecognised option '--reps=5'
michelebaumann opened this issue · comments
I try to reproduce the tutorial guide from:
http://seahorn.github.io/smartace/verification/fuzzing/2020/06/08/smartace-getting-started.html.
As I run the command:
solc crowdsale.sol --bundle=Crowdsale --concrete --reps=5 --c-model \ --output-dir=fuzz
I get:
unrecognised option '--reps=5'
As I compare the tutorial with the examples in:
https://github.com/contract-ace/verify-openzeppelin/tree/master/experiments
I see the command:
solc scribble.clean.sol --aux-users=5 --bundle=Ownable \
--concrete --c-model --output-dir=fuzz
For fuzzing. Could you explain to me the difference between --aux-users=5
and --reps=5
?
Thanks a lot