Project

General

Profile

Actions
Copy link

Bug #8367

closed

Current version of CPAchecker SMG always fails due to incorrect configuration

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

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

0%

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

Description

This is a consequence of changed references to configuration files for verifiers.

Actions
Copy link

Also available in: Atom PDF