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

9 years ago

Kostyantyn Vorobyov authored 9 years ago

  - Stylistic updates
  - Refactoring of assertions (production/debugging)
  - Refactoring iheader placement

b0b08198

Kostyantyn Vorobyov authored 9 years ago

  - Stylistic updates
  - Refactoring of assertions (production/debugging)
  - Refactoring iheader placement