try removing kani parallelism

carolynzech · Feb 17, 2025 · 7214000 · 7214000
1 parent 99b879e
commit 7214000
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/run-kani.sh b/scripts/run-kani.sh
@@ -208,7 +208,7 @@ run_verification_subset() {
     "$kani_path" verify-std -Z unstable-options ./library \
         $unstable_args \
         $harness_args --exact \
-        -j \
+        # -j \
         --output-format=terse \
         $command_args \
         --enable-unstable \