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