move new tests to smt/tests.rs

This commit is contained in:
Qyriad 2024-11-15 12:20:47 -07:00
commit 6b6686afae

2
series

@ -1 +1 @@
Subproject commit ebc975f308b75180eb4c963f79e2efc72da11b2f
Subproject commit 093f7b6ab7b5e28e373ea1b379f40986bb4db239