Commit 33a23967 authored by Stefan Schott's avatar Stefan Schott
Browse files

fixed spelling error

parent d1480cb5
......@@ -28,7 +28,7 @@ npm install
### Usage Modes
GenBenchDroid offers two different usage modes: (1) the manual mode and (2) the fuzzing mode.
### Manual Mode
#### Manual Mode
The manual mode can be used to generate a fully specified benchmark case.
The following command can be used to generate a benchmark case:
......@@ -62,7 +62,7 @@ Each branch may contain arbitrarily many nested branches.
Generated benchmark cases and their corresponding ground-truths can be found in the directory that has been specified inside the configuration.
### Fuzzing Mode
#### Fuzzing Mode
GenBenchDroid's fuzzing mode can be used to generate random applications.
The fuzzing mode can be executed with the following command:
```
......@@ -77,7 +77,7 @@ In order to specify desired properties for the randomly generated applications,
| --minLenght,<br/> -m | Specifies the minimum length of the configuration |
| --taintflow,<br/> -t | Guarantees a taint flow inside the generated benchmark case |
| --contains | Specifies (sub)strings that have to be part of the configuration |
| --ignore | Specifies (sub)strings that cannot to be part of the configuration |
| --ignore | Specifies (sub)strings that cannot be part of the configuration |
Each of these parameters can also be combined with another.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment