Skip to content

Commit 58df539

Browse files
kroeningkroening
committed
consolidate let-related tests for smt2_solver
Now all in one directory.
1 parent b84b37d commit 58df539

File tree

6 files changed

+0
-0
lines changed

6 files changed

+0
-0
lines changed

regression/smt2_solver/let1/let-scoping1.desc renamed to regression/smt2_solver/let/let-scoping1.desc

File renamed without changes.

regression/smt2_solver/let1/let-scoping1.smt2 renamed to regression/smt2_solver/let/let-scoping1.smt2

File renamed without changes.

regression/smt2_solver/let-with-bv1/test.desc renamed to regression/smt2_solver/let/let-with-bv1.desc

File renamed without changes.

regression/smt2_solver/let-with-bv1/let-with-bv1.smt2 renamed to regression/smt2_solver/let/let-with-bv1.smt2

File renamed without changes.

regression/smt2_solver/let1/test.desc renamed to regression/smt2_solver/let/let1.desc

File renamed without changes.

regression/smt2_solver/let1/let1.smt2 renamed to regression/smt2_solver/let/let1.smt2

File renamed without changes.

0 commit comments

Comments
 (0)