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

fix options

Browse Source
This commit is contained in:
Hadrien Croubois
2023-03-15 21:35:42 +01:00
parent 82bbdb2c64
commit d0b259546f
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
certora/specs.js
View File

@ -60,7 +60,7 @@ module.exports = [].concat(
spec, spec,
contract, contract,
files: [`certora/harnesses/${contract}.sol`, `certora/harnesses/${token}.sol`], files: [`certora/harnesses/${contract}.sol`, `certora/harnesses/${token}.sol`],
options: [`--link GovernorHarness:token=${token}`, '--optimistic_loop', '--optimistic_hashing'], options: [`--link ${contract}:token=${token}`, '--optimistic_loop', '--optimistic_hashing'],
})), })),
/// WIP part /// WIP part
process.env.CI process.env.CI
@ -70,7 +70,7 @@ module.exports = [].concat(
spec, spec,
contract, contract,
files: [`certora/harnesses/${contract}.sol`, `certora/harnesses/${token}.sol`], files: [`certora/harnesses/${contract}.sol`, `certora/harnesses/${token}.sol`],
options: [`--link GovernorHarness:token=${token}`, '--optimistic_loop', '--optimistic_hashing'], options: [`--link ${contract}:token=${token}`, '--optimistic_loop', '--optimistic_hashing'],
}), }),
), ),
); );