Project

General

Profile

Feature #8569

Feature #8171: Get rid of repeated unknowns during multimodule verification

Increase length for problem descriptions up to 20 symbols

Added by Ilja Zakharov over 1 year ago. Updated 5 months ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Bridge
Target version:
Start date:
11/13/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

The current restriction is 15 symbols.

History

#1 Updated by Ilja Zakharov over 1 year ago

  • Target version changed from 1.0 to 2.0

#2 Updated by Evgeny Novikov 7 months ago

  • Assignee changed from Alexey Polushkin to Ilja Zakharov

#3 Updated by Ilja Zakharov 6 months ago

  • Status changed from New to Resolved

Implemented in klever-2.0 branch.

#4 Updated by Evgeny Novikov 5 months ago

  • Status changed from Resolved to Closed

Branch klever-2.0 passed all tests and I merged it to master in 72be796e3 marked as v2.0rc1.

Also available in: Atom PDF