• Sylvain Dailler's avatar
    Add %t/%m for timelimit/memlimit in strategy definitions · bf3b9624
    Sylvain Dailler authored
    This allows a strategy to call provers with the default timelimit/memlimit
    Example: "c CVC4,1.5 %t %m"
    Remove set_session_timelimit/memlimit from server_utils: put them in
    controller_itp so that they directly edit the configuration of the
    Edit parser of strategies to allow %t and %m.
To find the state of this project's repository at the time of any of these versions, check out the tags.
CHANGES.md 31.2 KB