[wp] Update tests/oracles pessimistic initialized (b95128fd) · Commits · pub / frama-c

Commit b95128fd authored 3 years ago by Allan Blanchard

Browse files

[wp] Update tests/oracles pessimistic initialized

parent 5539727d

No related branches found

No related tags found

Hide whitespace changes

Inline Side-by-side

Showing

src/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle 25 additions, 53 deletions

src/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle
src/plugins/wp/tests/wp/oracle_qualif/stmtcompiler_test_rela.res.oracle 5 additions, 11 deletions

.../tests/wp/oracle_qualif/stmtcompiler_test_rela.res.oracle
src/plugins/wp/tests/wp_acsl/assigned_initialized_memtyped.i 11 additions, 11 deletions

src/plugins/wp/tests/wp_acsl/assigned_initialized_memtyped.i
src/plugins/wp/tests/wp_acsl/assigned_initialized_memvar.i 6 additions, 6 deletions

src/plugins/wp/tests/wp_acsl/assigned_initialized_memvar.i
src/plugins/wp/tests/wp_acsl/assigned_not_initialized_memtyped.i 1 addition, 1 deletion

...gins/wp/tests/wp_acsl/assigned_not_initialized_memtyped.i
src/plugins/wp/tests/wp_acsl/initialized_memvar.i 5 additions, 5 deletions

src/plugins/wp/tests/wp_acsl/initialized_memvar.i
src/plugins/wp/tests/wp_acsl/opaque_struct.i 3 additions, 3 deletions

src/plugins/wp/tests/wp_acsl/opaque_struct.i
src/plugins/wp/tests/wp_acsl/oracle/assigned_initialized_memtyped.res.oracle 75 additions, 78 deletions

...s/wp_acsl/oracle/assigned_initialized_memtyped.res.oracle
src/plugins/wp/tests/wp_acsl/oracle/assigned_initialized_memvar.res.oracle 32 additions, 42 deletions

...sts/wp_acsl/oracle/assigned_initialized_memvar.res.oracle
src/plugins/wp/tests/wp_acsl/oracle/assigned_not_initialized_memtyped.res.oracle 14 additions, 35 deletions

..._acsl/oracle/assigned_not_initialized_memtyped.res.oracle
src/plugins/wp/tests/wp_acsl/oracle/initialized_memvar.res.oracle 44 additions, 8 deletions

...ins/wp/tests/wp_acsl/oracle/initialized_memvar.res.oracle
src/plugins/wp/tests/wp_acsl/oracle/opaque_struct.res.oracle 4 additions, 4 deletions

src/plugins/wp/tests/wp_acsl/oracle/opaque_struct.res.oracle
src/plugins/wp/tests/wp_acsl/oracle/struct_fields.res.oracle 68 additions, 19 deletions

src/plugins/wp/tests/wp_acsl/oracle/struct_fields.res.oracle
src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memtyped.res.oracle 18 additions, 18 deletions

...sl/oracle_qualif/assigned_initialized_memtyped.res.oracle
src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memvar.res.oracle 10 additions, 10 deletions

...acsl/oracle_qualif/assigned_initialized_memvar.res.oracle
src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_not_initialized_memtyped.res.oracle 4 additions, 4 deletions

...racle_qualif/assigned_not_initialized_memtyped.res.oracle
src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memvar.res.oracle 13 additions, 13 deletions

...tests/wp_acsl/oracle_qualif/initialized_memvar.res.oracle
src/plugins/wp/tests/wp_acsl/oracle_qualif/opaque_struct.res.oracle 4 additions, 4 deletions

...s/wp/tests/wp_acsl/oracle_qualif/opaque_struct.res.oracle
src/plugins/wp/tests/wp_typed/oracle/user_init.0.res.oracle 22 additions, 18 deletions

src/plugins/wp/tests/wp_typed/oracle/user_init.0.res.oracle
src/plugins/wp/tests/wp_typed/oracle/user_init.1.res.oracle 22 additions, 18 deletions

src/plugins/wp/tests/wp_typed/oracle/user_init.1.res.oracle

with 386 additions and 361 deletions

Please register or to comment