[klee-dev] XML test format for TestComp.

[Alex Babushkin]

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?
-------------- next part --------------
HTML attachment scrubbed and removed