diff --git a/test/bricks/smt.bt b/test/bricks/smt.bt
index a576e14262e260a7e9077c3496569feaa65f785d..c8c4a03e81084ebdf5834c4be1f35f1f24668cbb 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 0000000000000000000000000000000000000000..e14561537dc3f94ab9fadc81d66e38692a326525
--- /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