Project

General

Profile

Actions
Copy link

Feature #6743

closed

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

Added by Evgeny Novikov about 8 years ago. Updated about 4 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 open — 1 closed)

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

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 6 years ago

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

Updated by Evgeny Novikov about 4 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
Copy link

Also available in: Atom PDF