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

touch to force make

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

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

@ -47,6 +47,7 @@ jobs:
echo 'file:' ${{ matrix.params.file }} echo 'file:' ${{ matrix.params.file }}
echo 'name:' ${{ matrix.params.name }} echo 'name:' ${{ matrix.params.name }}
echo 'spec:' ${{ matrix.params.spec }} echo 'spec:' ${{ matrix.params.spec }}
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 --debug
env: env: