[klee-dev] XML test format for TestComp.

[Frank Busse]

Hi Alex,

On Tue, 1 Dec 2020 20:49:56 +0300
Alex Babushkin <ocelaiwo at 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