equal
deleted
inserted
replaced
434 val max_threads = 1 |
434 val max_threads = 1 |
435 val max_solutions = 1 |
435 val max_solutions = 1 |
436 in |
436 in |
437 case solve_any_problem debug overlord deadline max_threads max_solutions |
437 case solve_any_problem debug overlord deadline max_threads max_solutions |
438 problems of |
438 problems of |
439 JavaNotFound => "unknown" |
439 Normal ([], _, _) => "none" |
440 | Normal ([], _, _) => "none" |
|
441 | Normal _ => "genuine" |
440 | Normal _ => "genuine" |
442 | TimedOut _ => "unknown" |
441 | TimedOut _ => "unknown" |
443 | Error (s, _) => error ("Kodkod error: " ^ s) |
442 | Error (s, _) => error ("Kodkod error: " ^ s) |
444 end |
443 end |
445 |
444 |