model-checking
diff --git a/‎.github/workflows/cbmc-latest.yml‎
Lines changed: 5 additions & 0 deletions b/‎.github/workflows/cbmc-latest.yml‎
Lines changed: 5 additions & 0 deletions
diff --git a/‎tests/perf/btreeset/insert_same/Cargo.toml‎ renamed to ‎tests/perf/btreeset/ignore_insert_same/Cargo.toml‎ b/‎tests/perf/btreeset/insert_same/Cargo.toml‎ renamed to ‎tests/perf/btreeset/ignore_insert_same/Cargo.toml‎
diff --git a/‎tests/perf/btreeset/insert_same/expected‎ renamed to ‎tests/perf/btreeset/ignore_insert_same/expected‎ b/‎tests/perf/btreeset/insert_same/expected‎ renamed to ‎tests/perf/btreeset/ignore_insert_same/expected‎
diff --git a/‎tests/perf/btreeset/insert_same/src/main.rs‎ renamed to ‎tests/perf/btreeset/ignore_insert_same/src/main.rs‎ b/‎tests/perf/btreeset/insert_same/src/main.rs‎ renamed to ‎tests/perf/btreeset/ignore_insert_same/src/main.rs‎
diff --git a/‎tests/perf/vec/string/Cargo.toml‎ renamed to ‎tests/perf/vec/ignore_string/Cargo.toml‎ b/‎tests/perf/vec/string/Cargo.toml‎ renamed to ‎tests/perf/vec/ignore_string/Cargo.toml‎
diff --git a/‎tests/perf/vec/box_dyn/Cargo.toml‎ renamed to ‎tests/perf/vec/ignore_string/box_dyn/Cargo.toml‎ b/‎tests/perf/vec/box_dyn/Cargo.toml‎ renamed to ‎tests/perf/vec/ignore_string/box_dyn/Cargo.toml‎
diff --git a/‎tests/perf/vec/box_dyn/expected‎ renamed to ‎tests/perf/vec/ignore_string/box_dyn/expected‎ b/‎tests/perf/vec/box_dyn/expected‎ renamed to ‎tests/perf/vec/ignore_string/box_dyn/expected‎
diff --git a/‎tests/perf/vec/box_dyn/src/main.rs‎ renamed to ‎tests/perf/vec/ignore_string/box_dyn/src/main.rs‎ b/‎tests/perf/vec/box_dyn/src/main.rs‎ renamed to ‎tests/perf/vec/ignore_string/box_dyn/src/main.rs‎
diff --git a/‎tests/perf/vec/string/expected‎ renamed to ‎tests/perf/vec/ignore_string/expected‎ b/‎tests/perf/vec/string/expected‎ renamed to ‎tests/perf/vec/ignore_string/expected‎
diff --git a/‎tests/perf/vec/string/src/main.rs‎ renamed to ‎tests/perf/vec/ignore_string/src/main.rs‎ b/‎tests/perf/vec/string/src/main.rs‎ renamed to ‎tests/perf/vec/ignore_string/src/main.rs‎
@@ -89,3 +89,8 @@ jobs:
       - name: Execute Kani performance tests
         working-directory: ./kani
         run: ./scripts/kani-perf.sh
+
+      - name: Execute Kani performance ignored tests
+        working-directory: ./kani
+        continue-on-error: true
+        run: cargo run -p compiletest -- --suite perf --mode cargo-kani-test ignore --ignored