fix(test): pass --workspace for kani invocation

roypat · roypat · commit 7243f99362ab · 2025-08-27T12:32:51.000-04:00
It seems that with the newer kani versions, we need to explicitly pass
--workspace to get it to pick up harnesses from within workspace crates.

Signed-off-by: Patrick Roy &lt;roypat@amazon.co.uk&gt;
diff --git a/tests/integration_tests/test_kani.py b/tests/integration_tests/test_kani.py
@@ -34,7 +34,7 @@ def test_kani(results_dir):
     # --output-format terse is required by -j
     # -Z unstable-options is needed to enable the other `-Z` flags
     _, stdout, _ = utils.check_output(
-        "cargo kani -Z unstable-options -Z stubbing -Z function-contracts -Z restrict-vtable -j --output-format terse --harness-timeout 40m",
+        "cargo kani -Z unstable-options -Z stubbing -Z function-contracts -Z restrict-vtable -j --output-format terse --harness-timeout 40m --workspace",
         timeout=TIMEOUT,
     )
 

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@ def test_kani(results_dir):`
`34`	`34`	`# --output-format terse is required by -j`
`35`	`35`	# -Z unstable-options is needed to enable the other `-Z` flags
`36`	`36`	`_, stdout, _ = utils.check_output(`
`37`		`- "cargo kani -Z unstable-options -Z stubbing -Z function-contracts -Z restrict-vtable -j --output-format terse --harness-timeout 40m",`
	`37`	`+ "cargo kani -Z unstable-options -Z stubbing -Z function-contracts -Z restrict-vtable -j --output-format terse --harness-timeout 40m --workspace",`
`38`	`38`	`timeout=TIMEOUT,`
`39`	`39`	`)`
`40`	`40`