Skip to content
Snippets Groups Projects
Normal view Permalink
bts2191.res.oracle 187 B
Newer Older
Julien Signoles's avatar
[tests] add test case for BTS #2191 which is solved by the new type system
Julien Signoles committed
1 2 3 
[e-acsl] beginning translation.
[e-acsl] translation done in project "e-acsl".
FRAMAC_SHARE/e-acsl/e_acsl.h:43:[value] warning: function __e_acsl_assert: precondition got status unknown.