include ../../header.mk

TEST       = boyer
TITLE      = boyer term rewriting benchmark
TEST_ARGS  = 300
TEST_SUFFIX= lhs

include ../../footer.mk