test(integration): remove iter-eq end-program case from show list

Author: Stevengre

…ter-eq-copied-take-dereftruncate-fail.rs …-rs/iter-eq-copied-take-dereftruncate.rskmir/src/tests/integration/data/prove-rs/iter-eq-copied-take-dereftruncate-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/iter-eq-copied-take-dereftruncate.rs kmir/src/tests/integration/data/prove-rs/iter-eq-copied-take-dereftruncate-fail.rs renamed to kmir/src/tests/integration/data/prove-rs/iter-eq-copied-take-dereftruncate.rs

@@ -38,7 +38,7 @@
     'assume-cheatcode-conflict-fail': ['check_assume_conflict'],
     'transmute-bytes': ['bytes_to_u64', 'u64_to_bytes'],
     'test_offset_from-fail': ['testing'],
-    'iter-eq-copied-take-dereftruncate-fail': ['repro'],
+    'iter-eq-copied-take-dereftruncate': ['repro'],
 }
 PROVE_RS_SHOW_SPECS = [
     'local-raw-fail',
@@ -57,7 +57,6 @@
     'transmute-u8-to-enum-fail',
     'assert-inhabited-fail',
     'iterator-simple',
-    'iter-eq-copied-take-dereftruncate-fail',
     'unions-fail',
     'transmute-maybe-uninit-fail',
     'ptr-through-wrapper-fail',