Skip to content

Commit 25a3009

Browse files
agroceagroce
authored
Merge pull request #330 from crytic/agroce-harvey-fix
harvey.yaml should fix coverage, not printCoverage
2 parents 0f135d1 + b261d67 commit 25a3009

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎examples/solidity/coverage/harvey.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
testLimit: 1000000
22
epochs: 100
3-
printCoverage: true
3+
coverage: true
44
outdir: "outdir"

0 commit comments

Comments
 (0)