Frama-C API - console
Interactive mode. If false
the GUI is not activated. Hence, detailed feedback is not reported to the user.
Add a short description wrt current selection & tuning
console
Interactive mode. If false
the GUI is not activated. Hence, detailed feedback is not reported to the user.
Add a short description wrt current selection & tuning