test: adapt Eval fail/success list

leanprover · Jul 16, 2024 · 458a4c0 · 458a4c0
1 parent c10921c
commit 458a4c0
Show file tree

Hide file tree

Showing 9 changed files with 7 additions and 10 deletions.
diff --git a/Eval/fail.txt b/Eval/fail.txt
@@ -1,13 +1,3 @@
-bitvec_AndOrXor_2443.lean
-bitvec_InstCombineShift__239.lean
-bitvec_InstCombineShift__279.lean
-bitvec_InstCombineShift__422_1.lean
-bitvec_InstCombineShift__422_2.lean
-bitvec_InstCombineShift__440.lean
-bitvec_InstCombineShift__458.lean
-bitvec_InstCombineShift__476.lean
-bitvec_InstCombineShift__497.lean
-bitvec_InstCombineShift__582.lean
 g2008h02h16hSDivOverflow2_proof.lean
 g2008h02h23hMulSub_proof.lean
 gadd2_proof.lean

diff --git a/Test/Eval.lean b/Test/Eval.lean
@@ -131,3 +131,10 @@ import Test.Eval.bitvec_InstCombineShift__497_alt
 import Test.Eval.bitvec_160
 import Test.Eval.bitvec_290__292
 import Test.Eval.bitvec_InstCombineShift__351
+import Test.Eval.bitvec_InstCombineShift__239
+import Test.Eval.bitvec_InstCombineShift__279
+import Test.Eval.bitvec_InstCombineShift__422_1
+import Test.Eval.bitvec_InstCombineShift__440
+import Test.Eval.bitvec_InstCombineShift__476
+import Test.Eval.bitvec_InstCombineShift__497
+import Test.Eval.bitvec_InstCombineShift__582
diff --git a/Eval/bitvec_InstCombineShift__239.lean → Test/Eval/bitvec_InstCombineShift__239.lean b/Eval/bitvec_InstCombineShift__239.lean → Test/Eval/bitvec_InstCombineShift__239.lean
diff --git a/Eval/bitvec_InstCombineShift__279.lean → Test/Eval/bitvec_InstCombineShift__279.lean b/Eval/bitvec_InstCombineShift__279.lean → Test/Eval/bitvec_InstCombineShift__279.lean
diff --git a/Eval/bitvec_InstCombineShift__422_1.lean → .../Eval/bitvec_InstCombineShift__422_1.lean b/Eval/bitvec_InstCombineShift__422_1.lean → .../Eval/bitvec_InstCombineShift__422_1.lean
diff --git a/Eval/bitvec_InstCombineShift__440.lean → Test/Eval/bitvec_InstCombineShift__440.lean b/Eval/bitvec_InstCombineShift__440.lean → Test/Eval/bitvec_InstCombineShift__440.lean
diff --git a/Eval/bitvec_InstCombineShift__476.lean → Test/Eval/bitvec_InstCombineShift__476.lean b/Eval/bitvec_InstCombineShift__476.lean → Test/Eval/bitvec_InstCombineShift__476.lean
diff --git a/Eval/bitvec_InstCombineShift__497.lean → Test/Eval/bitvec_InstCombineShift__497.lean b/Eval/bitvec_InstCombineShift__497.lean → Test/Eval/bitvec_InstCombineShift__497.lean
diff --git a/Eval/bitvec_InstCombineShift__582.lean → Test/Eval/bitvec_InstCombineShift__582.lean b/Eval/bitvec_InstCombineShift__582.lean → Test/Eval/bitvec_InstCombineShift__582.lean