scottwe / smartace-examples Goto Github PK

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