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

[Alex Babushkin]

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.
-------------- next part --------------
HTML attachment scrubbed and removed