Permalink
Browse files

Bil test integration (#737)

* just added a new stage to travis

* Update .run_travis_tests.sh

* updated installation of bap-veri

* reduces jobs for test purpose

* rolled back

* adds install of veri deps

* adds core install

* added bap-veri install in install script

* fixed stages names
  • Loading branch information...
gitoleg authored and ivg committed Mar 16, 2018
1 parent 00a2461 commit 79efb843969130ae156e5965d8cabdcbf5246d42
Showing with 19 additions and 2 deletions.
  1. +4 −0 .run_travis_tests.sh
  2. +6 −2 .travis.yml
  3. +3 −0 .travis_install.sh
  4. +6 −0 Makefile
View
@@ -17,3 +17,7 @@ fi
if [ "$TASK" == "unit_tests" ]; then
bap_run_tests
fi
if [ "$TASK" == "veri" ]; then
bash -exc 'make veri'
fi
View
@@ -47,11 +47,15 @@ script: bash -ex .travis_install.sh
jobs:
include:
- stage: Unit tests and checks
- stage: Unit tests, checks and bil tests
env:
- OCAML_VERSION=4.05 WITH_BUILD_CACHE=true
script: bash -ex .run_travis_tests.sh unit_tests
- stage: Unit tests and checks
- stage: Unit tests, checks and bil tests
env:
- OCAML_VERSION=4.05 WITH_BUILD_CACHE=true
script: bash -ex .run_travis_tests.sh checks
- stage: Unit tests, checks and bil tests
env:
- OCAML_VERSION=4.05 WITH_BUILD_CACHE=true
script: bash -ex .run_travis_tests.sh veri
View
@@ -4,6 +4,9 @@ export TESTS=false
if [ "$WITH_BUILD_CACHE" == "true" ]; then
export POST_INSTALL_HOOK='
git clone https://github.com/BinaryAnalysisPlatform/bap-veri.git
opam pin add bap-veri bap-veri/ -n
opam install bap-veri -y
x=`ocamlfind query bap`
if [ $x != "" ]; then
echo START TO PACK BAP
View
@@ -38,9 +38,15 @@ distclean:
.PHONY: check
.PHONY: veri
test: build
$(SETUP) -test $(BAPTESTFLAGS)
check:
if [ -d .git ]; then git submodule init; git submodule update; fi
make -C testsuite
veri:
if [ -d .git ]; then git submodule init; git submodule update; fi
make -C testsuite veri

0 comments on commit 79efb84

Please sign in to comment.