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?
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
