Switch coverage to JSON, ignore debug logging and NotImplemented code

trailofbits · Aug 10, 2020 · 6517683 · 6517683
1 parent b6f4112
commit 6517683
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 4 deletions.
diff --git a/.coveragerc b/.coveragerc
@@ -2,3 +2,10 @@
 source = manticore
 omit =
 	*__init__.py
+
+[report]
+exclude_lines =
+    pragma: no cover
+    logger.info
+    logger.debug
+    raise NotImplementedError
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -72,7 +72,7 @@ jobs:
     - name: Coveralls Parallel
       run: |
         coveralls debug
-        coveralls --merge coverage.xml
+        coveralls --merge coverage.json
       env:
         COVERALLS_PARALLEL: true
         COVERALLS_REPO_TOKEN: ${{ secrets.COVERALLS_REPO_TOKEN }}

diff --git a/scripts/run_tests.sh b/scripts/run_tests.sh
@@ -105,7 +105,7 @@ run_truffle_tests(){
         return 1
     fi
     echo "Truffle test succeded"
-    coverage xml
+    coverage json
     coverage report
     cd ..
     cp truffle_tests/coverage.xml .
@@ -118,7 +118,7 @@ run_tests_from_dir() {
     echo "Running only the tests from 'tests/$DIR' directory"
     pytest --durations=100 --cov=manticore --cov-config=$GITHUB_WORKSPACE/.coveragerc -n auto "tests/$DIR"
     RESULT=$?
-    coverage xml
+    coverage json
     coverage report
     return $RESULT
 }
@@ -136,7 +136,7 @@ run_examples() {
     launch_examples
     RESULT=$?
     echo Ran example scripts
-    coverage xml
+    coverage json
     coverage report
     popd
     cp examples/script/coverage.xml .