Marks created for new traces contains in call stack auxiliary EMG functions
By design we mark all generated functions as auxiliary and exclude them from call stack at marks creation. This allows to change environment model generation and rule models keeping marks as is. Currently some generated functions again appeared in newly created marks.
#3 Updated by Evgeny Novikov 8 months ago
- Status changed from Resolved to Closed
Tests demonstrated just a small difference that was expected. Instead one mark for 2 unsafes now there are 2 marks for these unsafes. I merged the branch to master in 86c265d9. Since there is no more critical issues, the current commit is marked with rc2. If no critical issues will be reported during a couple of days, we will issue 1.0 at last.