Project

General

Profile

Actions
Copy link

Bug #8784

closed

VerifierCloud reports interruptions as safes

Added by Ilja Zakharov over 6 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Immediate
Assignee:
Ilja Zakharov
Category:
Scheduling
Target version:
1.0
Start date:
03/26/2018
Due date:
% Done:

0%

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

Description

There is a possible situation when CPAchecker stops because of an internal time limit and in the case VerifierCloud does not provide any reliable information to check the verdict (and it is not designed to do so). Thus we need to check the Unknown verdict directly if it was not terminated and if it has not reported any witnesses.

Actions
Copy link

Also available in: Atom PDF