Differentiate between 'instrumentation time' and 'maybe infinite loop timeout'
aronisstav opened this issue · 0 comments
aronisstav commented
Failures such as this one:
https://travis-ci.org/parapluu/Concuerror/jobs/287161964
are due to instrumentation time. There shouldn't be a timeout in such cases.