src/plugins/e-acsl/scripts/e-acsl-gcc.sh · e385bffebff310b5d24adc1abd02471d2a3b71e8 · pub / frama-c

4 years ago

[eacsl] Rename `full-mmodel` option to `full-mtracking` · e385bffe

Basile Desloges authored 4 years ago

- Deprecate old `full-mmodel` option in E-ACSL plugin and in `e-acsl-gcc.sh`
- Create new `full-mtracking` option
- Update documentation to use the new option

e385bffe

History

[eacsl] Rename `full-mmodel` option to `full-mtracking`

Basile Desloges authored 4 years ago

- Deprecate old `full-mmodel` option in E-ACSL plugin and in `e-acsl-gcc.sh`
- Create new `full-mtracking` option
- Update documentation to use the new option