Project

General

Profile

Bug #8784

VerifierCloud reports interruptions as safes

Added by Ilja Zakharov 11 months ago. Updated 11 months ago.

Status:
Closed
Priority:
Immediate
Assignee:
Category:
Scheduling
Target version:
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.

History

#1 Updated by Ilja Zakharov 11 months ago

  • Status changed from New to Resolved

Implemented in 8784-verifiercloud-safes. I will test it for a while but first experiments show that it works.

#2 Updated by Evgeny Novikov 11 months ago

  • Status changed from Resolved to Closed

I merged the branch to master in e4e169c7.

Also available in: Atom PDF