evaltor 0.1.0

A tool for evaluating the evaluatees on benchmarks
Documentation 
1
2
3
4
5
6

name = "rIC3"
exit_code = { 10 = "Unsafe", 20 = "Safe" }

[default]
cmd = "/root/rIC3/target/release/rIC3"
args = ["-e", "ic3", "${case}"]