-
Virgile Prevosto authored
[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
Virgile Prevosto authored[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
To learn more about this project, read the wiki.
README.md 144 B
This directory contains the kernel frontend.
It is files which provide high-level APIs on top of the AST in order to ease plug-in development.