Skip to content

Commit

Permalink
Run regression tests in parallel
Browse files Browse the repository at this point in the history
  • Loading branch information
@chrisr-diffblue @smowton
chrisr-diffblue authored and smowton committed Mar 16, 2018
1 parent 7a6359c commit 6f88e37
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .travis.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -233,7 +233,7 @@ install:
# LOCAL CHANGES: Added cbmc/ prefix, and added unit and regression tests to the end of the list.

script:
- ( cd build; ctest -V -L CORE )
- ( cd build; ctest -V -L CORE -j2 )

before_cache:
- ccache -s

0 comments on commit 6f88e37

Please sign in to comment.