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? -------------- next part -------------- HTML attachment scrubbed and removed