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