Merge pull request #330 from crytic/agroce-harvey-fix

harvey.yaml should fix coverage, not printCoverage
pull/331/head
Alex Groce 5 years ago committed by GitHub
commit 25a300923c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      examples/solidity/coverage/harvey.yaml

@ -1,4 +1,4 @@
testLimit: 1000000
epochs: 100
printCoverage: true
coverage: true
outdir: "outdir"

Loading…
Cancel
Save