From 25c6e1331d338c6ba8d60224711343986e11cf79 Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Mon, 3 Dec 2012 04:35:27 +0000 Subject: Fix for fuzzer-found model bug --- test/regress/regress0/auflia/Makefile.am | 1 + 1 file changed, 1 insertion(+) (limited to 'test/regress/regress0/auflia/Makefile.am') diff --git a/test/regress/regress0/auflia/Makefile.am b/test/regress/regress0/auflia/Makefile.am index cc4a1556f..8ed9096c4 100644 --- a/test/regress/regress0/auflia/Makefile.am +++ b/test/regress/regress0/auflia/Makefile.am @@ -20,6 +20,7 @@ TESTS = \ fuzz03.smt \ fuzz04.smt \ fuzz05.smt \ + fuzz06.smt \ a17.smt \ error72.delta2.smt \ x2.smt -- cgit v1.2.3