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@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
