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