frama-c-impact index

Library frama-c-impact.core

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

Library frama-c-impact.gui

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