Add running XFAIL tests to other jobs

Author: thk123

buildspec-linux-clang.yml

@@ -27,10 +27,14 @@ phases:
   post_build:
     commands:
       - make -C unit test
+      - echo "Running expected failure tests"
+      - make TAGS="[!shouldfail]" -C unit test
       - make -C regression test CXX='ccache /usr/bin/clang++-8' CXX_FLAGS='-Qunused-arguments'
       - make -C regression/cbmc test-paths-lifo
       - env PATH=$PATH:`pwd`/src/solvers make -C regression/cbmc test-cprover-smt2
       - make -C jbmc/unit test
+      - echo "Running expected failure tests"
+      - make TAGS="[!shouldfail]" -C jbmc/unit test
       - make -C jbmc/regression test
       - echo Build completed on `date`
 cache:

buildspec-windows.yml

@@ -57,6 +57,10 @@ phases:
         $env:Path = "C:\tools\cygwin\bin;$env:Path"
         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" '
 
+      - |
+        $env:Path = "C:\tools\cygwin\bin;$env:Path"
+        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" '
+
       - |
         $env:Path = "C:\tools\cygwin\bin;$env:Path"
         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:
         $env:Path = "C:\tools\cygwin\bin;$env:Path"
         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" '
 
+      - |
+        $env:Path = "C:\tools\cygwin\bin;$env:Path"
+        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" '
+
 cache:
   paths:
     - 'c:\clcache\**\*'

buildspec.yml

@@ -26,10 +26,14 @@ phases:
   post_build:
     commands:
       - make -C unit test
+      - echo "Running expected failure tests"
+      - make TAGS="[!shouldfail]" -C unit test
       - make -C regression test
       - make -C regression/cbmc test-paths-lifo
       - env PATH=$PATH:`pwd`/src/solvers make -C regression/cbmc test-cprover-smt2
       - make -C jbmc/unit test
+      - echo "Running expected failure tests"
+      - make TAGS="[!shouldfail]" -C jbmc/unit test
       - make -C jbmc/regression test
       - echo Build completed on `date`
 cache: