Actions
Feature #8129
openGet rid of model function comments
Start date:
04/21/2017
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
Model function comments are redundant and harmful. In fact they try to duplicate corresponding actions inside corresponding function bodies. Usually this is done not so good, so they hide important things. Moreover, in principle it is impossible to reflect various paths, e.g. when a model function returns an error and not, using one sentence.
The issue spans over several places from rule specifications to witnesses preprocessing.
Updated by Evgeny Novikov almost 7 years ago
- Priority changed from Urgent to High
I will do this but very slowly. So let's don't put this issue together with really important issues to be fixed/implemented quickly.
Actions