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

Snippets Groups Projects

9 years ago
d28efe0a
[e-acsl-gcc.sh] Fixed bug that caused compilation of an original file · d28efe0a
Kostyantyn Vorobyov authored 9 years ago
```
instead of an instrumented one if --instrumented-only option was used
```
d28efe0a

History
[e-acsl-gcc.sh] Fixed bug that caused compilation of an original file
Kostyantyn Vorobyov authored 9 years ago
```
instead of an instrumented one if --instrumented-only option was used
```