From dc982c1be99bd4efd07b1ef59cacb747ece3f0ee Mon Sep 17 00:00:00 2001 From: Qinheping Hu Date: Mon, 11 Nov 2024 00:04:12 -0600 Subject: [PATCH] Update verify-std-check workflow --- .github/workflows/verify-std-check.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/verify-std-check.yml b/.github/workflows/verify-std-check.yml index 6935b2bb4073..3efdacc2cb85 100644 --- a/.github/workflows/verify-std-check.yml +++ b/.github/workflows/verify-std-check.yml @@ -59,7 +59,7 @@ jobs: continue-on-error: true run: | kani verify-std -Z unstable-options ./library --target-dir ${{ runner.temp }} -Z function-contracts \ - -Z mem-predicates + -Z mem-predicates -Z loop-contracts --enable-unstable --cbmc-args --object-bits 12 # If the head failed, check if it's a new failure. - name: Checkout base @@ -77,7 +77,7 @@ jobs: continue-on-error: true run: | kani verify-std -Z unstable-options ./library --target-dir ${{ runner.temp }} -Z function-contracts \ - -Z mem-predicates + -Z mem-predicates -Z loop-contracts --enable-unstable --cbmc-args --object-bits 12 - name: Compare PR results if: steps.check-head.outcome != 'success' && steps.check-head.outcome != steps.check-base.outcome