src/plugins/e-acsl/scripts/e-acsl-gcc · 6021482773d3f0cb94b01b9c39137feb796394c8 · pub / frama-c · GitLab

Snippets Groups Projects

9 years ago
60214827
Added a convenience script called `e-acsl-gcc` for instrumenting files · 60214827
Kostyantyn Vorobyov authored 9 years ago
```
using E-ACSL plugin and their subsequent compilation using GCC.
```
60214827

History
Added a convenience script called `e-acsl-gcc` for instrumenting files
Kostyantyn Vorobyov authored 9 years ago
```
using E-ACSL plugin and their subsequent compilation using GCC.
```