Debug missing Truffle & Examples coverage

trailofbits · Aug 10, 2020 · c39f243 · c39f243
1 parent 6be20b7
commit c39f243
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -75,6 +75,7 @@ jobs:
       env:
         COVERALLS_PARALLEL: true
         COVERALLS_REPO_TOKEN: ${{ secrets.COVERALLS_REPO_TOKEN }}
+        COVERALLS_FLAG_NAME: ${{ matrix.type }}
   # Send notification when all tests have finished to combine coverage results
   coverage-finish:
     needs: tests

diff --git a/scripts/run_tests.sh b/scripts/run_tests.sh
@@ -106,6 +106,7 @@ run_truffle_tests(){
     fi
     echo "Truffle test succeded"
     coverage xml
+    coverage report
     cd ..
     cp truffle_tests/coverage.xml .
     return 0
@@ -118,6 +119,7 @@ run_tests_from_dir() {
     pytest --durations=100 --cov=manticore --cov-config=$GITHUB_WORKSPACE/.coveragerc -n auto "tests/$DIR"
     RESULT=$?
     coverage xml
+    coverage report
     return $RESULT
 }
 
@@ -135,6 +137,7 @@ run_examples() {
     RESULT=$?
     echo Ran example scripts
     coverage xml
+    coverage report
     popd
     cp examples/script/coverage.xml .
     return $RESULT