src/kernel_services/plugin_entry_points/emitter.ml · 3b52ad8194db768f43e5c2a70d6ae62972528a46 · pub / frama-c · GitLab

Snippets Groups Projects

3 years ago
274827cc
[kernel] Usable_emitter.get returns [orphan] when the emitter does not exists. · 274827cc
David Bühler authored 3 years ago and Andre Maroneze committed 3 years ago
```
Instead of raising a [Not_found] exception.
Fixes crashes when loading a Frama-C save when an original emitter is not
available.
```
274827cc

History
[kernel] Usable_emitter.get returns [orphan] when the emitter does not exists.
David Bühler authored 3 years ago and Andre Maroneze committed 3 years ago
```
Instead of raising a [Not_found] exception.
Fixes crashes when loading a Frama-C save when an original emitter is not
available.
```