Actions
Bug #8367
closedCurrent version of CPAchecker SMG always fails due to incorrect configuration
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.
Updated by Evgeny Novikov over 6 years ago
- Status changed from New to Closed
I fixed and tested the fix in f8904c97 to master. Now by default the latest CPAchecker SMG smg_witness_for_ldv:25566 will be used.
Actions