From f9e109b0ac12ffbfd167a19dcd60f16241a0542c Mon Sep 17 00:00:00 2001 From: ajreynol Date: Wed, 4 Nov 2015 10:41:49 +0100 Subject: Better combination of UF with cbqi, refactor quantifiers intialization. --- test/regress/regress0/fmf/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'test/regress/regress0/fmf/Makefile.am') diff --git a/test/regress/regress0/fmf/Makefile.am b/test/regress/regress0/fmf/Makefile.am index 9d6df2796..bb85e62b3 100644 --- a/test/regress/regress0/fmf/Makefile.am +++ b/test/regress/regress0/fmf/Makefile.am @@ -40,7 +40,8 @@ TESTS = \ fib-core.smt2 \ fore19-exp2-core.smt2 \ with-ind-104-core.smt2 \ - syn002-si-real-int.smt2 + syn002-si-real-int.smt2 \ + krs-sat.smt2 EXTRA_DIST = $(TESTS) -- cgit v1.2.3