Use CoverageRC, Make CodeCov Less Aggressive (#1705)

* Experimental coverage changes

Tells coverage.py to record coverage for individual test cases, and makes CodeCov tolerate a small drop in overall coverage percentage to account for nondeterministic gas tests.

* Use workspace

* Remove explicit concurrency type declaration

Appears to break use of subprocess in integration tests

* Eliminate dynamic context

* Make all CI respect rcfile

* Use environment variable

.github/workflows/ci.yml

@@ -59,6 +59,7 @@ jobs:
       run: |
         # Launches all examples; this assumes PWD is examples/script
         launch_examples() {
+            COVERAGE_RCFILE=$GITHUB_WORKSPACE/.coveragerc
             # concolic assumes presence of ../linux/simpleassert
             echo "Running concolic.py..."
             HW=../linux/helloworld
@@ -150,6 +151,7 @@ jobs:
         }
 
         run_truffle_tests(){
+            COVERAGE_RCFILE=$GITHUB_WORKSPACE/.coveragerc
             mkdir truffle_tests
             cd truffle_tests
             truffle unbox metacoin
@@ -169,8 +171,9 @@ jobs:
 
         run_tests_from_dir() {
             DIR=$1
+            COVERAGE_RCFILE=$GITHUB_WORKSPACE/.coveragerc
             echo "Running only the tests from 'tests/$DIR' directory"
-            pytest --durations=100 --cov=manticore -n auto "tests/$DIR"
+            pytest --durations=100 --cov=manticore --cov-config=$GITHUB_WORKSPACE/.coveragerc -n auto "tests/$DIR"
             coverage xml
         }
 

codecov.yml

@@ -6,3 +6,7 @@ codecov:
     # If we add or remove any, we need to change this number.
     after_n_builds: 9
     wait_for_ci: yes
+  status:
+    project:
+      default:
+        threshold: 0.2%