Actions
Feature #6743
closedAccomplish safes and unknowns with source files referred by input files of static verifiers in development mode
Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
Results processing
Target version:
-
Start date:
02/03/2016
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
To debug safes and unknowns it can be useful to see original source files like for unsafes.
Actions