Forked from
pub / frama-c
Source project has a limited visibility.
-
Julien Signoles authoredfix bts bug #2303 about unamed formals (cannot be easily tested through an executable program that prints the issue)
Julien Signoles authoredfix bts bug #2303 about unamed formals (cannot be easily tested through an executable program that prints the issue)