I tried the No.9 step http://klee.github.io/experimental/ and it showed me Expected Passes : 155Expected Failures : 2Unsupported Tests : 1 It has 2 failures and 1 unsupported test. Does it matter?
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
