/sv-comp-c

sv comp c benchmarks

Primary LanguageC

What is this repository about?

This repository is a modified version of the SV-Comp repo.

How to run benchmarks?

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>