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

@@ -41,7 +41,7 @@
     'closure-fnonce-single-arg': ['repro'],
     'iter-copied-take-next-thunk-regression': ['repro'],
     'iter-map-eq-copied-take-thunk-frontier-fail': ['repro'],
-    'iter-eq-copied-take-dereftruncate-fail': ['repro'],
+    'iter-eq-copied-take-dereftruncate': ['repro'],
 }
 PROVE_RS_SHOW_SPECS = [
     'local-raw-fail',
@@ -60,7 +60,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',