CurryInfo: benchmark-papers-3.0.0 / Test.Benchmark.benchCommandWithLimit

definition: Info
 
benchCommandWithLimit :: String -> Float -> Benchmark (Maybe CmdResult)
benchCommandWithLimit cmd tlimit =
  mapBench (\cd -> if exitStatus cd == 0 then Just cd else Nothing)
           (benchCommand $ "/usr/bin/timeout " ++ show tlimit ++ "s " ++ cmd)
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
Benchmark the execution of a shell command where
a maximum time limit for the execution (in seconds) is given.
Returns `Nothing`, if the time limit is reached or the command terminated
with a non-zero exit code, or `Just` the benchmark results.
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_) |-> _}
name: Info
 benchCommandWithLimit
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 String -> Prelude.Float -> Benchmark (Prelude.Maybe CmdResult)
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term