Project

General

Profile

Actions

Feature #9089

closed

Investigate whether disabling safe marks matter

Added by Evgeny Novikov over 6 years ago. Updated about 6 years ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
07/11/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Everybody already forgets the time when associating safe marks were very-very slow even when there were not safe marks at all. Moreover, due to absence of proofs to be analyzed somehow, safe marks are still exotic, that can be useful in quite artificial cases, namely for testing and validation verification jobs that are obviously are out of the normal user workflow. In those days we had to disable safe marks either globally (enabled by default) or per individual verification jobs (also enabled by default). The first option is harmful, so, we will get rid of it soon (#9088). The second one needs some investigation. If highly loaded production servers will not suffer much from enabling safe marks for all verification jobs, we will be able to get rid of it completely.


Related issues 1 (0 open1 closed)

Related to Klever - Feature #9088: Enable safe marks by defaultClosedVladimir Gratinskiy07/11/2018

Actions
Actions

Also available in: Atom PDF