src/plugins/e-acsl/TODO · f6ac1ca92f95dd708a58586f61636555b3fe93f9 · pub / frama-c

13 years ago

[e-acsl] tests compatible with strange behavior of gcc 4.6 (linking order) · f6ac1ca9

Julien Signoles authored 13 years ago

[e-acsl] all tests are now executed with gcc
[e-acsl] fix bug with integer division and modulo
[e-acsl] untested support of most logic labels
[e-acsl]

f6ac1ca9

History

[e-acsl] tests compatible with strange behavior of gcc 4.6 (linking order)

Julien Signoles authored 13 years ago

[e-acsl] all tests are now executed with gcc
[e-acsl] fix bug with integer division and modulo
[e-acsl] untested support of most logic labels
[e-acsl]