Merge branch 'main' into fix_uffd_kernel_faults

tests/integration_tests/test_kani.py

@@ -11,13 +11,11 @@
 from framework import utils
 
 PLATFORM = platform.machine()
-CRATES_WITH_PROOFS = ["dumbo", "vmm"]
 
 
 @pytest.mark.timeout(1800)
 @pytest.mark.skipif(PLATFORM != "x86_64", reason="Kani proofs run only on x86_64.")
-@pytest.mark.parametrize("crate", CRATES_WITH_PROOFS)
-def test_kani(results_dir, crate):
+def test_kani(results_dir):
     """
     Test all Kani proof harnesses.
     """
@@ -27,9 +25,9 @@ def test_kani(results_dir, crate):
     # --output-format terse is required by -j
     # --enable-unstable is needed for each of the above
     rc, stdout, stderr = utils.run_cmd(
-        f"cargo kani -p {crate} --enable-unstable --enable-stubbing --restrict-vtable -j --output-format terse"
+        "cargo kani --enable-unstable --enable-stubbing --restrict-vtable -j --output-format terse"
     )
 
     assert rc == 0, stderr
 
-    (results_dir / f"kani_log_{crate}").write_text(stdout, encoding="utf-8")
+    (results_dir / "kani_log").write_text(stdout, encoding="utf-8")