Project

General

Profile

Actions

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:
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.

Actions #1

Updated by Ilja Zakharov over 6 years 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.

Actions #2

Updated by Evgeny Novikov over 6 years ago

  • Status changed from Resolved to Closed

I merged the branch to master in e4e169c7.

Actions

Also available in: Atom PDF