diff --git a/.travis.yml b/.travis.yml index 1d2dfaa7c..c670cedde 100644 --- a/.travis.yml +++ b/.travis.yml @@ -29,7 +29,7 @@ script: - if [ "$TRAVIS_OS_NAME" = "linux" ]; then git add .; fi - if [ "$TRAVIS_OS_NAME" = "linux" ]; then git commit -m'update version'; fi - if [ "$TRAVIS_OS_NAME" = "linux" ]; then npm version patch; fi - - if [ "$TRAVIS_OS_NAME" = "linux" ]; then git clone "https://github.com/SVF-tools/Test-Suite.git"; fi + - git clone "https://github.com/SVF-tools/Test-Suite.git" - . ./build.sh - cd ./Release-build - ctest -VV diff --git a/build.sh b/build.sh index 0a863bcc6..69264dd6a 100755 --- a/build.sh +++ b/build.sh @@ -120,14 +120,6 @@ fi export PATH=$LLVM_DIR/bin:$PATH echo "LLVM_DIR =" $LLVM_DIR -# if test-suite is present then build bc files for testing -if [ -d "./Test-Suite" ] -then - cd ./Test-Suite - ./generate_bc.sh - cd .. -fi - ######## # Build SVF ########