A tool for evaluating the performance of evaluatees on benchmarks.
- Docker
- Rust Compiler
- build the
evaltor_boxwith Docker, and all the evaluatees will be placed inside this container to be evaluateddoc 63B6 ker build -t evaltor_box:latest -f ./BoxDockerfile . cargo install --path .
- evaluate the rIC3 model checker under hwmcc19, hwmcc20, and hwmcc24
evaltor ./examples/hwmc.toml ./examples/rIC3.toml -b hwmcc19.aig,hwmcc20.aig,hwmcc24.aig -e default