Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Experimental coverage changes #1705

Merged
merged 7 commits into from
May 19, 2020
Merged

Experimental coverage changes #1705

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
0dbd2ed
Experimental coverage changes
May 12, 2020
0281423
Use workspace
May 12, 2020
560c05a
Remove explicit concurrency type declaration
May 13, 2020
c62aa84
Eliminate dynamic context
May 14, 2020
06f7aa2
Make all CI respect rcfile
May 15, 2020
5efa634
Use environment variable
May 15, 2020
fb0ec15
Merge branch 'master' into exp-coverage
May 15, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -150,6 +151,7 @@ jobs:
}

run_truffle_tests(){
COVERAGE_RCFILE=$GITHUB_WORKSPACE/.coveragerc
mkdir truffle_tests
cd truffle_tests
truffle unbox metacoin
Expand All @@ -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"
ehennenfent marked this conversation as resolved.
Show resolved Hide resolved
coverage xml
}

Expand Down
4 changes: 4 additions & 0 deletions codecov.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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%
2 changes: 0 additions & 2 deletions setup.cfg
View file
Open in desktop

This file was deleted.