--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on March 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] RTE plugin: Standalone or File Output



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>