mueval icon indicating copy to clipboard operation
mueval copied to clipboard

Published 20 hours ago • verified publisher icon gwern

unit of time for `timeLimit`?

Open jwaldmann opened this issue 3 years ago • 0 comments

What is the unit of time for this option?

           Option "t"     ["time-limit"]
                      (ReqArg (\t opts -> opts { timeLimit = read t :: Int }) "TIME")
                      "Time limit for compilation and evaluation",

The implementation says https://github.com/gwern/mueval/blob/09b6a7aa5a25c4115442ea2e6ae0c2db557007f8/Mueval/Parallel.hs#L19

so one unit is 0.7 seconds?

Anyway this is moot for Mueval.Interpreter.interpreter since that does not use the watchdog at all?

jwaldmann avatar Apr 30 '21 20:04 jwaldmann