Skip to content

Commit 4383511

Browse files
author
Daniel Kroening
committed
enable SMT2 tests on Travis
1 parent b2c56d1 commit 4383511

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.travis.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -354,6 +354,7 @@ install:
354354
script:
355355
- if [ -e bin/gcc ] ; then export PATH=$PWD/bin:$PATH ; fi ;
356356
- env UBSAN_OPTIONS=print_stacktrace=1 make -C regression test-parallel "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j2 JOBS=2
357+
- scripts/delete_failing_smt2_solver_tests ; env UBSAN_OPTIONS=print_stacktrace=1 make -C regression/cbmc test-cprover-smt2
357358
- make -C unit "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j2
358359
- make -C unit test
359360
- env UBSAN_OPTIONS=print_stacktrace=1 make -C jbmc/regression test-parallel "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j2 JOBS=2

0 commit comments

Comments
 (0)