Project

General

Profile

Feature #7801

Feature #7799: Integrate Ultimate Automizer as an alternative verification tool

Increase size of the report component name to 20 from 15

Added by Ilja Zakharov almost 4 years ago. Updated about 3 years ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
12/13/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

A verification tool name should correspond to the name in its benchexec wrapper but such name can be more than 15 symbols.


Related issues

Related to Klever - Feature #7803: Shrink verifier name to 20 symbolsRejected12/14/2016

Actions

History

#1

Updated by Evgeny Novikov over 3 years ago

Why this issue is marked as resolved while #7799 isn't? It doesn't look like it is implemented in master.

#2

Updated by Evgeny Novikov about 3 years ago

  • Priority changed from Normal to Urgent
  • Target version set to 0.2

This considerable Core refactoring is always completed and it would be better to have it in master ASAP while Klever 1.0 will be devoted to great conceptual improvements.

#3

Updated by Evgeny Novikov about 3 years ago

  • Status changed from Resolved to Closed

I merged the branch to master in aec48ac1.

Also available in: Atom PDF