Commits

Nadia Polikarpova committed 07b9e63 Draft

Edited online

Comments (0)

Files changed (1)

 Failure 0
 F(0) failed
 
-Postcondition "n <= 100 ==> r == 91" defined at McCarthy-91.bpl line 2 violated at McCarthy-91.bpl line 1
-with
+Postcondition "n <= 100 ==> r == 91" defined at McCarthy-91.bpl line 2 violated at McCarthy-91.bpl line 1 with
     n = 100
     r = 90
 in call to F at examples/McCarthy-91.bpl line 8