Project

General

Profile

Actions
Copy link

Feature #8360

open

Specify violated properties as additional attribute for unsafes

Added by Evgeny Novikov almost 7 years ago. Updated almost 7 years ago.

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
Copy link
 #1

Updated by Evgeny Novikov almost 7 years ago

  • Category changed from Tasks generation to Results processing
Actions
Copy link

Also available in: Atom PDF