Frama-C API - frama-c-inout

Library frama-c-inout.core

The entry point of this library is the module: Inout.