reducing regression size, adding another

HanielB · Jan 27, 2025 · 9759e79 · 9759e79
1 parent fb829a9
commit 9759e79
Show file tree

Hide file tree

Showing 3 changed files with 66 additions and 1,005 deletions.
diff --git a/test/regress/cli/CMakeLists.txt b/test/regress/cli/CMakeLists.txt
@@ -2762,6 +2762,7 @@ set(regress_1_tests
   regress1/proofs/add_two_base.smt2
   regress1/proofs/alpha-eq-var-shadow.smt2
   regress1/proofs/alpha-eq-var-shadow-name-only.smt2
+  regress1/proofs/alpha-eq-var-shadow-name-only2.smt2
   regress1/proofs/base-lfsc-treesize.smt2
   regress1/proofs/eq-engine-corner-case-constants-disequal.smt2
   regress1/proofs/issue6625-unsat-core-proofs.smt2