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

fix formal verification workflow

Browse Source
This commit is contained in:
Hadrien Croubois
2022-09-21 09:18:00 +02:00
parent e7f770591b
commit dfa0505c40
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

@ -55,7 +55,7 @@ jobs:
certoraRun ${{ matrix.params.file }} \ certoraRun ${{ matrix.params.file }} \
--verify ${{ matrix.params.name }}:${{ matrix.params.spec }} \ --verify ${{ matrix.params.name }}:${{ matrix.params.spec }} \
--solc solc \ --solc solc \
--optimistic_loop --optimistic_loop \
--loop_iter 3 \ --loop_iter 3 \
--cloud \ --cloud \
${{ matrix.params.args || '' }} ${{ matrix.params.args || '' }}