NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

no debug

Browse Source
This commit is contained in:
Hadrien Croubois
2022-09-20 16:50:37 +02:00
parent 0f20d57771
commit b9c7899e6c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/formal-verifiation.yml vendored
View File

@ -49,7 +49,7 @@ jobs:
echo 'spec:' ${{ matrix.params.spec }} echo 'spec:' ${{ matrix.params.spec }}
touch certora/applyHarness.patch touch certora/applyHarness.patch
make -C certora munged make -C certora munged
certoraRun ${{ matrix.params.file }} --verify ${{ matrix.params.name }}:${{ matrix.params.spec }} --solc solc --optimistic_loop --loop_iter 3 --rule_sanity advanced --cloud --debug certoraRun ${{ matrix.params.file }} --verify ${{ matrix.params.name }}:${{ matrix.params.spec }} --solc solc --optimistic_loop --loop_iter 3 --rule_sanity advanced --cloud
env: env:
CERTORAKEY: ${{ secrets.CERTORAKEY }} CERTORAKEY: ${{ secrets.CERTORAKEY }}
strategy: strategy: