--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on March 2019 ---
Hello, I was wondering whether the RTE plugin can be used on its own. What I am looking for is something like: frama-c -rte file.c -output annotated_file.c which would write the generated assertions to annotated_file.c. The manual <https://frama-c.com/download/frama-c-rte-manual.pdf> does not mention any flag for that purpose. As it stands, the annotations have to be copy-pasted from frama-c-gui. Is there something I am overlooking here? I know that this is not at all the primary purpose of RTE, but I think this would be useful as a standalone tool. Thanks a lot, Rafael Bachmann -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190306/788017c4/attachment.html>