Test-Command: test "$(dejavu debian/tests/c4.dimacs --silent --grp-sz)" = "8*10^0"
Depends: dejavu
Features: test-name=solver

Test-Command: g++ -std=c++14 debian/tests/library.cpp -o $AUTOPKGTEST_TMP/library &&
 $AUTOPKGTEST_TMP/library
Depends: g++, libdejavu-dev
Features: test-name=library

Test-Command: g++ -std=c++14 debian/tests/nauty-converter.cpp -lnauty
 -o $AUTOPKGTEST_TMP/nauty-converter &&
 $AUTOPKGTEST_TMP/nauty-converter
Depends: g++, libdejavu-dev, libnauty-dev
Features: test-name=nauty-converter
