diff --git a/testcases/verification/BitsTricks.scala b/testcases/verification/math/BitsTricks.scala
similarity index 100%
rename from testcases/verification/BitsTricks.scala
rename to testcases/verification/math/BitsTricks.scala
diff --git a/testcases/verification/DivisionSemantic.scala b/testcases/verification/math/DivisionSemantic.scala
similarity index 100%
rename from testcases/verification/DivisionSemantic.scala
rename to testcases/verification/math/DivisionSemantic.scala