evaltor
| Crates.io | evaltor |
| lib.rs | evaltor |
| version | 0.1.0 |
| created_at | 2025-05-25 15:34:33.89889+00 |
| updated_at | 2025-05-25 15:34:33.89889+00 |
| description | A tool for evaluating the evaluatees on benchmarks |
| homepage | |
| repository | https://github.com/gipsyh/evaltor |
| max_upload_size | |
| id | 1688462 |
| size | 93,962 |
Yuheng Su (gipsyh)
documentation
README
Evaltor
A tool for evaluating the performance of evaluatees on benchmarks.
Requirements
- Docker
- Rust Compiler
Install
- build the
evaltor_boxwith Docker, and all the evaluatees will be placed inside this container to be evaluateddocker build -t evaltor_box:latest -f ./BoxDockerfile . cargo install --path .
Example
- 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