Closed gustavung closed 4 months ago
Using custom behaviors does not seem to play well with the WP plugin in Frama-C, therefore we remove them.
Using custom behaviors does not seem to play well with the WP plugin in Frama-C, therefore we remove them.