I’m trying to generate some tests using the seed-based fuzzing command-line tool described in the README.md in the SMTFUZZ/runner directory. However, I’m running into issues with the commands listed there.
Here’s what I’ve tried:
1.
This gives the following error:
smtfuzz: error: unrecognized arguments: seed ...
This results in:
command not found: smtfuzz-seed
smtfuzz-runner seed --seed input.smt2 --logic QF_FP --count 50 --profile
This runs but does not generate any tests. The output is:
Sparrow is running:
0it [00:00, ?it/s]
Summary:
Passed time: 0s
Generated mutants: 0
Used seeds: 0
Crash issues: 0
Unsound issues: 0
Timeout cases: 0
Ignored issues: 0
We finish here, have a good day!
Could you please clarify the correct command or usage for running the seed-based fuzzing tool?
I’m trying to generate some tests using the seed-based fuzzing command-line tool described in the README.md in the SMTFUZZ/runner directory. However, I’m running into issues with the commands listed there.
Here’s what I’ve tried:
1.
This gives the following error:
This results in:
This runs but does not generate any tests. The output is:
Could you please clarify the correct command or usage for running the seed-based fuzzing tool?