Frama-C API - frama-c-e-acsl

Library frama-c-e-acsl.core

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