Commit c7dbe949 authored by François Bobot's avatar François Bobot

async with thread in whybench. Is it really needed?

parent 1b799e39
......@@ -373,6 +373,7 @@ let count_result =
Mnm.add res.B.tool tr m in
List.fold_left fold m
let () = Scheduler.async := (fun f v -> ignore (Thread.create f v))
let () =
let callback tool prob task i res =
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment