From e38d8cfd44d29547be464c8e7a6b9ad2ce7b9fe1 Mon Sep 17 00:00:00 2001
From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Wed, 7 Nov 2018 17:12:38 -0600
Subject: Adding default SyGuS grammar construction for arrays (#2685)

---
 test/regress/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test/regress/CMakeLists.txt')

diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt
index 5304fcab5..c4dbab1dd 100644
--- a/test/regress/CMakeLists.txt
+++ b/test/regress/CMakeLists.txt
@@ -840,6 +840,8 @@ set(regress_0_tests
   regress0/strings/type001.smt2
   regress0/strings/unsound-0908.smt2
   regress0/strings/unsound-repl-rewrite.smt2
+  regress0/sygus/array-grammar-select.sy
+  regress0/sygus/array-grammar-store.sy
   regress0/sygus/General_plus10.sy
   regress0/sygus/aig-si.sy
   regress0/sygus/c100.sy
-- 
cgit v1.2.3