Lean: Add some more tests to CI that now pass (#1030)

rems-project · Feb 18, 2025 · 7e46870 · 7e46870
1 parent 52ef3fd
commit 7e46870
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/test/lean/run_tests.py b/test/lean/run_tests.py
@@ -43,7 +43,6 @@
     'primop',
     'zero_length_bv',
     'poly_pair',
-    'issue37',
     'assign_rename_bug',
     'warl',
     'config',
@@ -60,7 +59,6 @@
     'varswap',
     'rv_format2',
     'try_return',
-    'bitvector_update2',
     'real',
     'inc_tests',
     'poly_outcome',
@@ -90,7 +88,6 @@
     'type_if_bits',
     'poly_union',
     'dec_str_fixed',
-    'bitvector_update',
     'nested_fields',
     'nexp_simp_euclidian',
     'config_register_ones',