[klee-dev] About TestComp-specific KLEE command-line options.

[Nowack, Martin]

Hi Alex,

The remaining patches are not submitted yet and need some cleaning.
But in a nutshell, `-tc-type` is set based on type of goal the test has: bug finding vs. coverage.
They are slightly different in both cases, please refer to the TestComp documentation (categories).
`-dump-test-case-type` prints them as well.

`-coverage-on-the-fly` generates test cases as soon as new code has been covered.
Especially this code needs cleaning up but will be opened as PR eventually.

Best,
Martin

> On 16. Jun 2023, at 12:45, Alex Babushkin <ocelaiwo at gmail.com> wrote:
> 
> Hello,
> 
> In the KLEE Wrapper used for TestComp there are some command-line options that are not present in the KLEE repository. The following options are missing:
> 
> -write-xml-tests
> -tc-orig
> -tc-hash
> --tc-type
> -dump-test-case-type
> -coverage-on-the-fly
> 
> The first three are present in the following PR:
> https://github.com/klee/klee/pull/1181
> 
> What do the last three options do? Is there a publicly available version of KLEE that has them?
> 
> Best regards,
> Alex.
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev