src/plugins/e-acsl/TODO · 22d1eb761c17ca8757d8bde755c55b85454790a9 · pub / frama-c

12 years ago

[E-ACSL] clause 'assumes' now checked during pre_analysis · 22d1eb76

Julien Signoles authored 12 years ago

[E-ACSL] fixed bug in Pre_analysis with pointer arithmetics in logic
[E-ACSL] does not check some possible cases during pre analysis
Thx to two first items, fully fixed bug #1324

22d1eb76

History

[E-ACSL] clause 'assumes' now checked during pre_analysis

Julien Signoles authored 12 years ago

[E-ACSL] fixed bug in Pre_analysis with pointer arithmetics in logic
[E-ACSL] does not check some possible cases during pre analysis
Thx to two first items, fully fixed bug #1324