Project

General

Profile

Actions
Copy link

Bug #8370

closed

Fix CPU time limits for tasks

Added by Evgeny Novikov over 7 years ago. Updated over 7 years ago.

Status:
Closed
Priority:
Immediate
Assignee:
Evgeny Novikov
Category:
Scheduling
Target version:
-
Start date:
08/19/2017
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

Likely 68b8884 introduced a crucial bug. 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.

Related issues 2 (0 open — 2 closed)

Related to Klever - Feature #8371: Allow to specify units for computational resource limitsClosedIlja Zakharov08/19/2017

Actions
Blocks Klever - Bug #8301: Restore submiting of specific errors on timelimits and memlimitsClosedIlja Zakharov07/18/2017

Actions
Actions
Copy link

Also available in: Atom PDF