Feature #7803
closedFeature #7799: Integrate Ultimate Automizer as an alternative verification tool
Shrink verifier name to 20 symbols
0%
Description
As #7801 noted verifier names can be more than 15 symbols. So 20 symbols were assumed to support in Bridge. But verifier names can be more than 20 symbols as well. So I suppose to shrink long names or map them to some smaller ones before sending corresponding reports to Bridge. We shouldn't support any possible reasonable lengths of components since it would be hard to visualize them nicely.
Updated by Ilja Zakharov over 7 years ago
- Priority changed from Normal to Urgent
Updated by Evgeny Novikov about 7 years ago
- Target version changed from 2.0 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.
Updated by Ilja Zakharov about 7 years ago
- Status changed from New to Resolved
Implemented in the core-refactoring branch as a part of VTG and AVTG major refactoring.
Updated by Evgeny Novikov about 7 years ago
- Status changed from Resolved to Open
I didn't find any place in code where this is actually done.
Updated by Ilja Zakharov about 7 years ago
- Status changed from Open to Resolved
Easily can be found by git: commit 059b87201e9dfe194de8105a97a6b38eec080c0b
Updated by Evgeny Novikov about 7 years ago
- Status changed from Resolved to Open
Ilja Zakharov wrote:
Easily can be found by git: commit 059b87201e9dfe194de8105a97a6b38eec080c0b
That commit fixed related #7801, but this feature requests another functionality. Please, read the description carefully.
Updated by Evgeny Novikov about 7 years ago
- Status changed from Resolved to Rejected
- Assignee deleted (
Ilja Zakharov)
Sorry, I thought more and understood better than the suggested solution isn't great since users will get automatically stupid verifier names. Moreover, it isn't required at all, since users can manage verifier names via configurations. After your recent improvements that became even more convenient. Thus, I reverted the commit and rejected this issue.