Project

General

Profile

Actions
Copy link

Bug #7572

closed

Marks for safes can't be created any more

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

Status:
Closed
Priority:
Immediate
Assignee:
Vladimir Gratinskiy
Category:
Bridge
Target version:
-
Start date:
09/20/2016
Due date:
09/20/2016
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

There isn't corresponding button any more. Perhaps this is due to proofs aren't uploaded any more (BTW, you can omit visualization of empty proofs). A corresponding test case is welcome.

Files

Job-1ff1e466fc-0.tar.gz (60.1 KB) Job-1ff1e466fc-0.tar.gz Evgeny Novikov, 09/20/2016 10:05 AM

Related issues 1 (0 open — 1 closed)

Blocks Klever - Feature #7350: Optimize association of marks with safe reportsClosedVladimir Gratinskiy06/28/201609/12/2016

Actions
Actions
Copy link

Also available in: Atom PDF