Split build so that long and short running tests are identified
Closed this issue · 1 comments
carlpulley commented
ExerciseModelTest (and the looming CVC4Test) are long running tests. This means that Jenkins may timeout whilst running these tests!
So, we need to be able to identify long running tests so that:
- short running tests can be ran immediately by Jenkins
- longer running tests can be chained by Jenkins and reported back upon at a latter date.
carlpulley commented
PR #94 closes this issue.