# Benchcomp unit & regression tests

To run, invoke `./test/run` from the tools/benchcomp directory.