File tree Expand file tree Collapse file tree 3 files changed +16
-0
lines changed Expand file tree Collapse file tree 3 files changed +16
-0
lines changed Original file line number Diff line number Diff line change @@ -27,10 +27,14 @@ phases:
27
27
post_build :
28
28
commands :
29
29
- make -C unit test
30
+ - echo "Running expected failure tests"
31
+ - make TAGS="[!shouldfail]" -C unit test
30
32
- make -C regression test CXX='ccache /usr/bin/clang++-8' CXX_FLAGS='-Qunused-arguments'
31
33
- make -C regression/cbmc test-paths-lifo
32
34
- env PATH=$PATH:`pwd`/src/solvers make -C regression/cbmc test-cprover-smt2
33
35
- make -C jbmc/unit test
36
+ - echo "Running expected failure tests"
37
+ - make TAGS="[!shouldfail]" -C jbmc/unit test
34
38
- make -C jbmc/regression test
35
39
- echo Build completed on `date`
36
40
cache :
Original file line number Diff line number Diff line change @@ -57,6 +57,10 @@ phases:
57
57
$env:Path = "C:\tools\cygwin\bin;$env:Path"
58
58
cmd /c 'call "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\vcvarsall.bat" x64 && bash -c "make -C unit test BUILD_ENV=MSVC" '
59
59
60
+ - |
61
+ $env:Path = "C:\tools\cygwin\bin;$env:Path"
62
+ cmd /c 'call "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\vcvarsall.bat" x64 && bash -c "make TAGS=[!shouldfail] -C unit test BUILD_ENV=MSVC" '
63
+
60
64
- |
61
65
$env:Path = "C:\tools\cygwin\bin;$env:Path"
62
66
cmd /c 'call "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\vcvarsall.bat" x64 && bash -c "make -C jbmc/regression test BUILD_ENV=MSVC" '
@@ -65,6 +69,10 @@ phases:
65
69
$env:Path = "C:\tools\cygwin\bin;$env:Path"
66
70
cmd /c 'call "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\vcvarsall.bat" x64 && bash -c "make -C jbmc/unit test BUILD_ENV=MSVC" '
67
71
72
+ - |
73
+ $env:Path = "C:\tools\cygwin\bin;$env:Path"
74
+ cmd /c 'call "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\vcvarsall.bat" x64 && bash -c "make TAGS=[!shouldfail] -C jbmc/unit test BUILD_ENV=MSVC" '
75
+
68
76
cache :
69
77
paths :
70
78
- ' c:\clcache\**\*'
Original file line number Diff line number Diff line change @@ -26,10 +26,14 @@ phases:
26
26
post_build :
27
27
commands :
28
28
- make -C unit test
29
+ - echo "Running expected failure tests"
30
+ - make TAGS="[!shouldfail]" -C unit test
29
31
- make -C regression test
30
32
- make -C regression/cbmc test-paths-lifo
31
33
- env PATH=$PATH:`pwd`/src/solvers make -C regression/cbmc test-cprover-smt2
32
34
- make -C jbmc/unit test
35
+ - echo "Running expected failure tests"
36
+ - make TAGS="[!shouldfail]" -C jbmc/unit test
33
37
- make -C jbmc/regression test
34
38
- echo Build completed on `date`
35
39
cache :
You can’t perform that action at this time.
0 commit comments