Project

General

Profile

Feature #7908

Updated by Evgeny Novikov almost 8 years ago

Interface of editing of converted error trace (field "converted error trace" on page "marks/unsafe/edit/<id>/") does not work - changing trace leads either to "Unknown error" or to loss of unsafe mark. 

 Since this functionality may be very useful, there should be: 
 # A short instruction of converted error trace format (for example, what symbols "[" and "{" means, which element can and cannot be used) on this page. 
 # More detailed error message (for example, element "..." is not supported).

Back