add expected file for loops fixme test

carolynzech · Feb 10, 2025 · 8750860 · 8750860
1 parent 4643132
commit 8750860
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/tests/script-based-pre/cargo_autoharness_harnesses_fail/harnesses_fail.expected b/tests/script-based-pre/cargo_autoharness_harnesses_fail/harnesses_fail.expected
@@ -1,5 +1,5 @@
 Autoharness: Checking function panic against all possible inputs...
-Check 1: panic.assertion\
+panic.assertion\
 	 - Status: FAILURE\
 	 - Description: "explicit panic"
 

diff --git a/tests/script-based-pre/cargo_autoharness_loops_fixme/config.yml b/tests/script-based-pre/cargo_autoharness_loops_fixme/config.yml
@@ -1,4 +1,4 @@
 # Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
-script: filter.sh
-expected: filter.expected
+script: loops.sh
+expected: loops.expected
diff --git a/tests/script-based-pre/cargo_autoharness_loops_fixme/loops.expected b/tests/script-based-pre/cargo_autoharness_loops_fixme/loops.expected
@@ -0,0 +1 @@
+It's not yet clear what the ideal output is for this test, so this expected file is just a placeholder.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		It's not yet clear what the ideal output is for this test, so this expected file is just a placeholder.