#!/usr/bin/make -f

# known failing tests
TEST_FAILS = \
 egraph::tests::simple_add \
 lambda_fib \
 lambda_function_repeat \
 pattern::tests::simple_match

%:
	dh $@

# tolerate known test failures
override_dh_auto_test:
	dh_auto_test --buildsystem rust -- --no-fail-fast -- $(addprefix --skip ,$(TEST_FAILS))