Project

General

Profile

Feature #9052

Updated by Evgeny Novikov over 6 years ago

It turned out to be a bad design since field _status_ has straightforward correlations just with such value of field _verdict_ of unsafe marks as _bug_. For other verdicts and for safes and unknowns semantics is not obvious or absent at all. So, I suggest to hide status and to disallow to set if for everything except _unsafe -> bug_. 

 BTW, Pavel reported this issue in the specification ~3 years ago but nobody cared.

Back