At one time I was playing around with KLEE. The goal was to see if MCDC coverage was possible. It was not.
By coincidence I discovered CIL a C language program transformation tool. Try (1) transform the source using CIL (2) generate test cases using KLEE operating upon the transformed source (3) run test cases against the original source Dave Lightstone
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
