walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Travis: Disable cve.py for now as it's too slow at the moment. We might need to tweak the script, maybe ensure there is output every minute.. or something

This commit is contained in:
Daniel Marjamäki 2020-12-06 11:35:52 +01:00
parent 3bf758a04b
commit 902da4179f
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.travis.yml
View File

@ -150,7 +150,8 @@ matrix:
- make clean
- make USE_Z3=yes -j2 all
- ./testrunner TestExprEngine
- python3 test/bug-hunting/cve.py
# FIXME: this is slowish
#- python3 test/bug-hunting/cve.py
- git clone https://github.com/regehr/itc-benchmarks.git ~/itc
- python3 test/bug-hunting/itc.py
- mkdir ~/juliet