-
David Bühler authored
- The signal Ast.changed is emitted by Frama-C on any change of the AST. The AST view is always reloaded when this signal is emitted. - Ivette resets the selected locations according to user actions.
debf8dfe
- The signal Ast.changed is emitted by Frama-C on any change of the AST. The AST view is always reloaded when this signal is emitted. - Ivette resets the selected locations according to user actions.