test: Update the brick-{smt,smtlib} test list.

99005f89 · Petr Rockai · 6aa0842c · 99005f89 · 99005f89
Commit 99005f89 authored 5 years ago by Petr Rockai
--- a/test/bricks/smt.bt
+++ b/test/bricks/smt.bt
 common tags: c++
-          | brick::t_smt::BVecTest::string
-          | brick::t_smt::ExtractTest::print
-          | brick::t_smt::CombinationTest::simple
          | brick::t_smt::UnionFind::integer
--- a/test/bricks/smtlib.bt
+++ b/test/bricks/smtlib.bt
+common tags: c++
+          | brick::t_smtlib::BVecTest::string
+          | brick::t_smtlib::ExtractTest::print
+          | brick::t_smtlib::CombinationTest::simple