3 ms·
Making the annotations something the standard C preprocessor can remove would be great. Some word plus braces. So you can compile as normal C.
by eqvinox 3y ago
Making the annotations something the standard C preprocessor can remove would be great. Some word plus braces. So you can compile as normal C.
- zokier 3y agoFrama-C uses comments for annotations: https://frama-c.com/html/acsl.html https://frama-c.com/html/acsl.html