Skip to content

Add option to use a specific generator #43

@rafaelsamenezes

Description

@rafaelsamenezes

Is your feature request related to a problem? Please describe.
I'd like to run only KLEE or only libFuzzer (or any future generator)

Describe the solution you'd like
Add the --generator option with klee and libfuzerr as valid values

Describe alternatives you've considered
None

Additional context
It should be simple, the major change will be at the wrapper of the interaction between klee and libFuzzer will have to be refactored.

Metadata

Metadata

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions