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

fix lint

Browse Source
This commit is contained in:
Hadrien Croubois
2023-05-04 17:22:59 +02:00
parent fd5f309d86
commit df88ea34d0
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
certora/run.js
View File

@ -59,12 +59,17 @@ if (process.exitCode) {
} }
for (const { spec, contract, files, options = [] } of specs) { for (const { spec, contract, files, options = [] } of specs) {
limit(runCertora, spec, contract, files, [...options, ...argv.options].flatMap(opt => opt.split(' '))); limit(runCertora, spec, contract, files, [...options, ...argv.options]);
} }
// Run certora, aggregate the output and print it at the end // Run certora, aggregate the output and print it at the end
async function runCertora(spec, contract, files, options = []) { async function runCertora(spec, contract, files, options = []) {
const args = [...files, '--verify', `${contract}:certora/specs/${spec}.spec`, ...options]; const args = [
...files,
'--verify',
`${contract}:certora/specs/${spec}.spec`,
...options.flatMap(opt => opt.split(' ')),
];
const child = proc.spawn('certoraRun', args); const child = proc.spawn('certoraRun', args);
const stream = new PassThrough(); const stream = new PassThrough();