equal
deleted
inserted
replaced
25 if Substring.isSubstring "spurious" warn_log |
25 if Substring.isSubstring "spurious" warn_log |
26 then SOME "potential counterexample" |
26 then SOME "potential counterexample" |
27 else SOME "real counterexample (bug?)" |
27 else SOME "real counterexample (bug?)" |
28 else |
28 else |
29 if Substring.isSubstring "time limit" writ_log |
29 if Substring.isSubstring "time limit" writ_log |
30 then SOME "no counterexample (time out)" |
30 then SOME "no counterexample (timeout)" |
31 else if Substring.isSubstring "Search terminated" writ_log |
31 else if Substring.isSubstring "Search terminated" writ_log |
32 then SOME "no counterexample (normal termination)" |
32 then SOME "no counterexample (normal termination)" |
33 else SOME "no counterexample (unknown)" |
33 else SOME "no counterexample (unknown)" |
34 in r end |
34 in r end |
35 *) |
35 *) |