diffblue
diff --git a/‎regression/smt2_solver/let-with-bv1/test.desc renamed to ‎regression/smt2_solver/let/let-with-bv1.desc b/‎regression/smt2_solver/let-with-bv1/test.desc renamed to ‎regression/smt2_solver/let/let-with-bv1.desc
diff --git a/‎regression/smt2_solver/let-with-bv1/let-with-bv1.smt2 renamed to ‎regression/smt2_solver/let/let-with-bv1.smt2 b/‎regression/smt2_solver/let-with-bv1/let-with-bv1.smt2 renamed to ‎regression/smt2_solver/let/let-with-bv1.smt2
diff --git a/‎regression/smt2_solver/let1/test.desc renamed to ‎regression/smt2_solver/let/let1.desc b/‎regression/smt2_solver/let1/test.desc renamed to ‎regression/smt2_solver/let/let1.desc
diff --git a/‎regression/smt2_solver/let1/let1.smt2 renamed to ‎regression/smt2_solver/let/let1.smt2 b/‎regression/smt2_solver/let1/let1.smt2 renamed to ‎regression/smt2_solver/let/let1.smt2