(* We do this to clear the alarm set by the signal handler *)
ignore (Unix.alarm 0) ;
`TimeOut
+ (*
| exn ->
prerr_endline (sprintf "Top Level Uncaught Exception: %s"
(Printexc.to_string exn));
- `Nok
+ `Nok*)
+ | exn -> raise exn
let report (ok,nok,maybe,timeout) =
print_newline ();