This repository is a modified version of the SV-Comp repo.
mkdir build; cd build
cmake -DSEAHORN_ROOT=<SEAHORN_RUN_DIRECTORY> -DSEA_CONFIG=../sea.yaml ../
ctest -R
To run a single benchmark, use
ctest -R <test name>
sv comp c benchmarks
This repository is a modified version of the SV-Comp repo.
mkdir build; cd build
cmake -DSEAHORN_ROOT=<SEAHORN_RUN_DIRECTORY> -DSEA_CONFIG=../sea.yaml ../
ctest -R
To run a single benchmark, use
ctest -R <test name>
sv comp c benchmarks