src/plugins/e-acsl/env.ml · 1e75b7af65bd9ae5fbbf76af1aac1e55692c7d40 · pub / frama-c

11 years ago

[E-ACSL] fixed bug #1390 about typing of logic variables of type long long · 1e75b7af

Julien Signoles authored 11 years ago

[E-ACSL] compute a more precise type for quantified variable with a strict upper bound
[E-ACSL] do not modify the type of a quantified variable anymore

1e75b7af

History

[E-ACSL] fixed bug #1390 about typing of logic variables of type long long

Julien Signoles authored 11 years ago

[E-ACSL] compute a more precise type for quantified variable with a strict upper bound
[E-ACSL] do not modify the type of a quantified variable anymore