Annotation wrongly displayed as checked (green bullet) whereas it is false, when using the option -rte on command line. (#401) · Issues · pub / frama-c