Feature #7803
closed
Feature #7799: Integrate Ultimate Automizer as an alternative verification tool
Shrink verifier name to 20 symbols
Added by Evgeny Novikov over 7 years ago.
Updated over 6 years ago.
Category:
Tasks generation
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.
- Priority changed from Normal to Urgent
- Assignee set to Ilja Zakharov
- Target version set to 2.0
- 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.
- Status changed from New to Resolved
Implemented in the core-refactoring branch as a part of VTG and AVTG major refactoring.
- Status changed from Resolved to Open
I didn't find any place in code where this is actually done.
- Status changed from Open to Resolved
Easily can be found by git: commit 059b87201e9dfe194de8105a97a6b38eec080c0b
- 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.
- Status changed from Open to Resolved
- 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.
Also available in: Atom
PDF