From fea6a83038169ef751e2bcb5f2051ab94585bc69 Mon Sep 17 00:00:00 2001 From: Rod Chapman Date: Tue, 18 Jun 2024 16:18:57 +0100 Subject: [PATCH] Enable Verbose and Debug options when running proofs in CI Signed-off-by: Rod Chapman --- .github/workflows/ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f0aa5943f..acd51bcdc 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -117,6 +117,6 @@ jobs: shell: nix develop .#ci-cbmc -c bash -e {0} run: | cd cbmc/proofs; - KYBER_K=2 ./run-cbmc-proofs.py --summarize -j1; - KYBER_K=3 ./run-cbmc-proofs.py --summarize -j1; - KYBER_K=4 ./run-cbmc-proofs.py --summarize -j1; + KYBER_K=2 ./run-cbmc-proofs.py --summarize -j1 --verbose --debug; + KYBER_K=3 ./run-cbmc-proofs.py --summarize -j1 --verbose --debug; + KYBER_K=4 ./run-cbmc-proofs.py --summarize -j1 --verbose --debug;