Travis: Try to fix bug hunting testing

This commit is contained in:
Daniel Marjamäki 2020-05-06 07:32:25 +02:00
parent 152d078090
commit e78a13a1e8
1 changed files with 5 additions and 5 deletions

View File

@ -167,13 +167,13 @@ matrix:
# build fuzz client # build fuzz client
- make -j2 CXXFLAGS="-fsanitize=address" -C oss-fuzz fuzz-client - make -j2 CXXFLAGS="-fsanitize=address" -C oss-fuzz fuzz-client
# bug hunting # bug hunting
- make clean - touch lib/exprengine.cpp
- make -s USE_Z3=yes all -j2 - make -s USE_Z3=yes -j2
- python3 test/bug-hunting/cve.py - python3 test/bug-hunting/cve.py
- wget https://github.com/Toyota-ITC-SSD/Software-Analysis-Benchmark/archive/v1.1.tar.gz - wget -q https://github.com/Toyota-ITC-SSD/Software-Analysis-Benchmark/archive/v1.1.tar.gz
- tar xzvf v1.1.tar.gz - tar xzvf v1.1.tar.gz
- mv Software-Analysis-Benchmark-1.1 itc - mv Software-Analysis-Benchmark-1.1 ~/itc
- python3 test/bug-hunting/itc.py itc/01.w_Defects/zero_division.c - python3 test/bug-hunting/itc.py
# check if dmake needs to be rerun (this job may fail) # check if dmake needs to be rerun (this job may fail)
- name: "rerun dmake?" - name: "rerun dmake?"