Bug #8370
Updated by Evgeny Novikov over 6 years ago
Likely commit:68b8884 introduced when task and job workers code was merged a crucial bug. bug was introduced. At the moment a verification task CPU limit is 1000 times more than it was before. That's why CPAchecker most likely always finishes itself thanks to a soft time limit. Other verifiers can work during 15000 minutes but we didn't note this since we don't use other verifiers.