Project

General

Profile

Actions

Feature #6743

closed

Accomplish safes and unknowns with source files referred by input files of static verifiers in development mode

Added by Evgeny Novikov almost 9 years ago. Updated almost 5 years ago.

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.


Related issues 1 (0 open1 closed)

Blocked by Klever - Feature #6664: Development modeClosedVladimir Gratinskiy02/01/2016

Actions
Actions #1

Updated by Evgeny Novikov over 7 years ago

  • Category changed from Tasks generation to Results processing
Actions #2

Updated by Evgeny Novikov almost 5 years ago

  • Status changed from New to Rejected

This was achieved by providing code coverage for both safes and some of unknowns. Moreover, source files are highlighted and there are cross references for them.

Actions

Also available in: Atom PDF