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

9 years ago

Adjustment of the executable script for e-acsl runs: · 466e88a6

Kostyantyn Vorobyov authored 9 years ago

    - Renamed to e-acsl-gcc.sh
    - BUGFIX: Clean abort on frama-c/gcc failures
    - Use an explicit list of disabled warnings instead of plain '-w'
    for gcc runs

466e88a6

History

Adjustment of the executable script for e-acsl runs:

Kostyantyn Vorobyov authored 9 years ago

    - Renamed to e-acsl-gcc.sh
    - BUGFIX: Clean abort on frama-c/gcc failures
    - Use an explicit list of disabled warnings instead of plain '-w'
    for gcc runs