From d6e726b7037a7838adf4e6d59a0ee71ad953732b Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 4 Jul 2025 12:35:27 +0000 Subject: [PATCH] Move tests from slow/kani back to regular suite These tests were moved while working towards https://github.com/model-checking/kani/pull/2995, but do not appear to be excessively slow even with the final version committed when completing that PR. (`copy_empty_string_by_intrinsic.rs` completes within a few seconds, `push_slow.rs` takes one minute and around 4 GB of memory, but this is still well below what other tests in our regression test suite take.) --- tests/{slow => }/kani/Strings/copy_empty_string_by_intrinsic.rs | 0 tests/{slow => }/kani/Vectors/any/push_slow.rs | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename tests/{slow => }/kani/Strings/copy_empty_string_by_intrinsic.rs (100%) rename tests/{slow => }/kani/Vectors/any/push_slow.rs (100%) diff --git a/tests/slow/kani/Strings/copy_empty_string_by_intrinsic.rs b/tests/kani/Strings/copy_empty_string_by_intrinsic.rs similarity index 100% rename from tests/slow/kani/Strings/copy_empty_string_by_intrinsic.rs rename to tests/kani/Strings/copy_empty_string_by_intrinsic.rs diff --git a/tests/slow/kani/Vectors/any/push_slow.rs b/tests/kani/Vectors/any/push_slow.rs similarity index 100% rename from tests/slow/kani/Vectors/any/push_slow.rs rename to tests/kani/Vectors/any/push_slow.rs