[klee-dev] Checking Tool Equivalence

[Linda Dart]

Hello,

The OSDI 2008 paper mentions that Klee was used for checking tool
equivalence, which took two tools and asserted that they were equal. A
"simple infrastructure" was built to automate crosschecking of two tools. I
was wondering if you could provide more insight on how to implement this
infrastructure?

Thanks,
Linda
-------------- next part --------------
HTML attachment scrubbed and removed