CBMC: Disable generation of coverage information

This commit disables CBMC coverage generation in CI, which is very time-consuming and not what we are interested in currently. Signed-off-by: Hanno Becker <[email protected]>
pq-code-package · Nov 11, 2024 · eb5e55b · eb5e55b
1 parent 7b48161
commit eb5e55b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/cbmc/action.yml b/.github/actions/cbmc/action.yml
@@ -48,5 +48,5 @@ runs:
         run: |
           cd cbmc/proofs;
           echo "::group::cbmc_${{ inputs.mlkem_k }}"
-          MLKEM_K=${{ inputs.mlkem_k }} ./run-cbmc-proofs.py --summarize -j8;
+          MLKEM_K=${{ inputs.mlkem_k }} ./run-cbmc-proofs.py --summarize --no-coverage -j8;
           echo "::endgroup::"