src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array2.c · 85e1595bf3c8617c0f284c0dfc3654fc1fa4b432 · pub / frama-c

13 years ago

[e-acsl] - generated variable names are shortest · 85e1595b

Julien Signoles authored 13 years ago

	 - fixed bug when reusing variables in a different typing context
	 - fixed bug with boolean
	 - fixed bug with negation and GMP integers
	 - fixed bug with conditional and GMP integers
	 - fixed wrongly generated oracles

85e1595b

History

[e-acsl] - generated variable names are shortest

Julien Signoles authored 13 years ago

	 - fixed bug when reusing variables in a different typing context
	 - fixed bug with boolean
	 - fixed bug with negation and GMP integers
	 - fixed bug with conditional and GMP integers
	 - fixed wrongly generated oracles