Hi Alex,

On Tue, 1 Dec 2020 20:49:56 +0300
Alex Babushkin <ocela...@gmail.com> wrote:

> Hello. In the archive of TestComp 2020 I found a KLEE submission.
> There I found a python script for compiling and executing
> verification tasks. There KLEE seems to have an option called
> '-write-xml-tests', which is not currently present in the release
> version. Was it removed or renamed? If it was removed, is there a way
> to patch current KLEE to support the TestComp test format?

Still a PR: https://github.com/klee/klee/pull/1181


Kind regards,

Frank

_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to