trywhy3.conf 464 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12
[main]
cntexample = false
loadpath = "/theories"
loadpath = "/modules"
magic = 14
memlimit = 1000
running_provers_max = 2
timelimit = 5

[prover]
command = "%l/why3-cpulimit %T %m -s alt-ergo-0.99.1 -timelimit %t %f"
command_steps = "%l/why3-cpulimit %U %m -s alt-ergo-0.99.1 -steps-bound %S %f"
13
driver = "/try_alt_ergo.drv"
14 15 16 17 18 19 20
editor = "altgr-ergo"
in_place = false
interactive = false
name = "Alt-Ergo"
shortcut = "altergo"
shortcut = "alt-ergo"
version = "0.99.1"