WCET annotation to messages
it is unclear how this annotation should look like
(from redmine: issue id 1743, created on 2013-09-23, closed on 2018-02-14)
- Relations:
- parent #1363 (closed)
it is unclear how this annotation should look like
(from redmine: issue id 1743, created on 2013-09-23, closed on 2018-02-14)