src/plugins/value/value_parameters.ml · 1969d12c8f781647f231b72609dc089314d7c938 · pub / frama-c · GitLab

Snippets Groups Projects

6 years ago
1969d12c
[Eva] Do not apply the meta-option -eva-precision hook when loading a save file. · 1969d12c
David Bühler authored 6 years ago
```
As this can reset all saved states. Modified options will be set to their proper
values anyway.
```
1969d12c

History
[Eva] Do not apply the meta-option -eva-precision hook when loading a save file.
David Bühler authored 6 years ago
```
As this can reset all saved states. Modified options will be set to their proper
values anyway.
```