src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid.res.oracle · 8aa4fa000c044924a703a81cbd5668732b28df39 · pub / frama-c

11 years ago

Julien Signoles authored 11 years ago

[E-ACSL] improve ACSL contracts of its libraries
[E-ACSL] no more unknow locations in translation of quantifications

8aa4fa00

Julien Signoles authored 11 years ago

[E-ACSL] improve ACSL contracts of its libraries
[E-ACSL] no more unknow locations in translation of quantifications