Travis: Run itc bug hunting tests

2020-05-05 22:32:05 +02:00 · 2020-05-05 22:32:05 +02:00 · 152d078090
parent 00d1091506
commit 152d078090
1 changed files with 4 additions and 0 deletions
--- a/.travis.yml
+++ b/.travis.yml
@ -170,6 +170,10 @@ matrix:
        - make clean
        - make -s USE_Z3=yes all -j2
        - python3 test/bug-hunting/cve.py
+        - wget https://github.com/Toyota-ITC-SSD/Software-Analysis-Benchmark/archive/v1.1.tar.gz
+        - tar xzvf v1.1.tar.gz
+        - mv Software-Analysis-Benchmark-1.1 itc
+        - python3 test/bug-hunting/itc.py itc/01.w_Defects/zero_division.c

 # check if dmake needs to be rerun (this job may fail)
    - name: "rerun dmake?"