Actions
Bug #8784
closedVerifierCloud reports interruptions as safes
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.
Updated by Ilja Zakharov about 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.
Updated by Evgeny Novikov about 6 years ago
- Status changed from Resolved to Closed
I merged the branch to master in e4e169c7.
Actions