Project

General

Profile

Actions
Copy link

Feature #7801

closed

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 8 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Vladimir Gratinskiy
Category:
Bridge
Target version:
0.2
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 1 (0 open — 1 closed)

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

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov almost 8 years ago

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

Actions
Copy link
 #2

Updated by Evgeny Novikov about 7 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.

Actions
Copy link
 #3

Updated by Evgeny Novikov about 7 years ago

  • Status changed from Resolved to Closed

I merged the branch to master in aec48ac1.

Actions
Copy link

Also available in: Atom PDF