src/plugins/e-acsl/tests/e-acsl-runtime/oracle/bts1326.err.oracle · 28887ed49140a9795823304ce5105e3f514505b2 · pub / frama-c

12 years ago

[E-ACSL] fixed bug #1326 (may occur when GMP is generated in non-GMP mode) · 5f5a05f5

Julien Signoles authored 12 years ago

[E-ACSL] fixed bug when translating left-values with complex types (related to bug #1326)
[E-ACSL] fixed issue #1329: the 'requires' clause is now interpreted even if an other part of the precondition cannot be evaluated.

5f5a05f5

History

[E-ACSL] fixed bug #1326 (may occur when GMP is generated in non-GMP mode)

Julien Signoles authored 12 years ago

[E-ACSL] fixed bug when translating left-values with complex types (related to bug #1326)
[E-ACSL] fixed issue #1329: the 'requires' clause is now interpreted even if an other part of the precondition cannot be evaluated.