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.
Description
A verification tool name should correspond to the name in its benchexec wrapper but such name can be more than 15 symbols.
Why this issue is marked as resolved while #7799 isn't? It doesn't look like it is implemented in master.
- 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.
- Status changed from Resolved to Closed
I merged the branch to master in aec48ac1.
Also available in: Atom
PDF