Commit ccfd7f96 authored by Daniel Kraut's avatar Daniel Kraut

update build and run info

parent b19762c3
Pipeline #2113 failed with stage
in 2 minutes and 24 seconds
......@@ -4,5 +4,48 @@
## Build requirements
* LLVM libraries, tested with version 7
* TINDGER (yep)[https://pajda.fit.vutbr.cz/testos/tindger] tool
\ No newline at end of file
* GNU Make
* Clang
* LLVM-dev libraries, tested with version 7
* [TINDGER](https://pajda.fit.vutbr.cz/testos/tindger) tool and it's dependencies:
* LLVM-dev
* Z3
Please build COBAP first and copy the binary into bin/ folder. On how to build COBAP refer to its [readme page](https://pajda.fit.vutbr.cz/testos/tindger).
## Build
```
make
```
## Run example
```
bin/cobap -c MCDC -m 50 file.ll
```
## Parameters
* -c, --coverage - Choose coverage criteria from the list below
* --help - Display available options (-help-hidden for more)
* -m, --max-length - Maximum length of a path
* -o, --output - Output filename
* -s, --set-size - Try to generate many shortest paths possible, or few but long paths.
* =small - Small set, long paths
* =big - Big set, long paths
* --version - Display the version of this program
* -w, --workspace=<string> - Directory path, where custom temporary files may be saved
## Supported Coverage Criteria
* ADC - All-Defs Coverage
* AUC - All-Uses Coverage
* ADUPC - All-du-Paths Coverage
* NC - Node Coverage
* EC - Edge Coverage
* EPC - Edge-Pair Coverage
* PPC - Prime-Path Coverage
* PC - Predicate Coverage
* CC - Clause Coverage
* MCDC - Modified Condition Decision Coverage
\ No newline at end of file
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