Actions
Feature #8360
openSpecify violated properties as additional attribute for unsafes
Status:
New
Priority:
High
Assignee:
-
Category:
Results processing
Target version:
-
Start date:
08/16/2017
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
In addition to the fact checked properties are violated, BenchExec also says what property is violated which is especially useful in case when many properties are checked at once, e.g. while checking memory safety issues. I suppose to translate corresponding values to additional attribute for unsafes, say, bug kind.
Actions