File tree Expand file tree Collapse file tree 3 files changed +22
-1
lines changed Expand file tree Collapse file tree 3 files changed +22
-1
lines changed Original file line number Diff line number Diff line change @@ -10,3 +10,6 @@ coverage:
10
10
project :
11
11
default :
12
12
threshold : 1%
13
+ ignore :
14
+ - " test"
15
+ - " contracts/mocks"
Original file line number Diff line number Diff line change 10
10
"scripts" : {
11
11
"compile" : " hardhat compile" ,
12
12
"compile:harnesses" : " env SRC=./certora/harnesses hardhat compile" ,
13
- "coverage" : " env COVERAGE=true hardhat coverage" ,
13
+ "coverage" : " scripts/checks/ coverage.sh " ,
14
14
"docs" : " npm run prepare-docs && oz-docs" ,
15
15
"docs:watch" : " oz-docs watch contracts docs/templates docs/config.js" ,
16
16
"prepare" : " git config --local core.hooksPath .githooks" ,
Original file line number Diff line number Diff line change
1
+ #! /usr/bin/env bash
2
+
3
+ set -euo pipefail
4
+
5
+ export COVERAGE=true
6
+ export FOUNDRY_FUZZ_RUNS=10
7
+
8
+ # Hardhat coverage
9
+ hardhat coverage
10
+
11
+ if [ " ${CI:- " false" } " == " true" ]; then
12
+ # Foundry coverage
13
+ forge coverage --report lcov
14
+ # Remove zero hits
15
+ sed -i ' /,0/d' lcov.info
16
+ fi
17
+
18
+ # Reports are then uploaded to Codecov automatically by workflow, and merged.
You can’t perform that action at this time.
0 commit comments