From 99005f89c062e97c2ebfe813b59117e16e20b47d Mon Sep 17 00:00:00 2001
From: Petr Rockai <me@mornfall.net>
Date: Mon, 13 Jan 2020 22:49:44 +0000
Subject: [PATCH] test: Update the brick-{smt,smtlib} test list.
---
test/bricks/smt.bt | 3 ---
test/bricks/smtlib.bt | 4 ++++
2 files changed, 4 insertions(+), 3 deletions(-)
create mode 100644 test/bricks/smtlib.bt
diff --git a/test/bricks/smt.bt b/test/bricks/smt.bt
index a576e1426..c8c4a03e8 100644
--- a/test/bricks/smt.bt
+++ b/test/bricks/smt.bt
@@ -1,5 +1,2 @@
common tags: c++
- | brick::t_smt::BVecTest::string
- | brick::t_smt::ExtractTest::print
- | brick::t_smt::CombinationTest::simple
| brick::t_smt::UnionFind::integer
diff --git a/test/bricks/smtlib.bt b/test/bricks/smtlib.bt
new file mode 100644
index 000000000..e14561537
--- /dev/null
+++ b/test/bricks/smtlib.bt
@@ -0,0 +1,4 @@
+common tags: c++
+ | brick::t_smtlib::BVecTest::string
+ | brick::t_smtlib::ExtractTest::print
+ | brick::t_smtlib::CombinationTest::simple
--
GitLab