• Johannes Kanig's avatar
    P509-017 fix incorrect time limits · 34f472e9
    Johannes Kanig authored
    The adaptation of time limits was incorrect, and could transform "0" (no
    time limit) to "1" (second).
    
    * call_provers.ml
    (adapt_limit): do nothing when no time limit was present
    34f472e9
call_provers.ml 13.3 KB