[wp] Refacto on initialized load MemLoader
Showing
- src/plugins/wp/MemLoader.ml 11 additions, 12 deletionssrc/plugins/wp/MemLoader.ml
- src/plugins/wp/tests/wp_acsl/initialized_memtyped.i 2 additions, 2 deletionssrc/plugins/wp/tests/wp_acsl/initialized_memtyped.i
- src/plugins/wp/tests/wp_acsl/oracle/assigned_initialized_memtyped.res.oracle 83 additions, 89 deletions...s/wp_acsl/oracle/assigned_initialized_memtyped.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/initialized_memtyped.res.oracle 43 additions, 92 deletions...s/wp/tests/wp_acsl/oracle/initialized_memtyped.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memtyped.0.session/cache/0382f6dae0638cff22773abf48a97a0b.json 2 additions, 0 deletions...ped.0.session/cache/0382f6dae0638cff22773abf48a97a0b.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memtyped.0.session/cache/3ea4d20271db817acc93772ec936b090.json 2 additions, 0 deletions...ped.0.session/cache/3ea4d20271db817acc93772ec936b090.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memtyped.0.session/cache/4f12567037ded6ea1b91d0a3af02fb60.json 2 additions, 0 deletions...ped.0.session/cache/4f12567037ded6ea1b91d0a3af02fb60.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memtyped.0.session/cache/67e6da20c960f8c39b37c0a80a14fc79.json 2 additions, 0 deletions...ped.0.session/cache/67e6da20c960f8c39b37c0a80a14fc79.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memtyped.0.session/cache/7b438e920474037e0f9f8a713cb123c1.json 2 additions, 0 deletions...ped.0.session/cache/7b438e920474037e0f9f8a713cb123c1.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memtyped.0.session/cache/7bd58c1c63463f3390d8763cb1b60289.json 2 additions, 0 deletions...ped.0.session/cache/7bd58c1c63463f3390d8763cb1b60289.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memtyped.0.session/cache/853bc2c32f8d7202db06cd790b63f160.json 2 additions, 0 deletions...ped.0.session/cache/853bc2c32f8d7202db06cd790b63f160.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memtyped.0.session/cache/87784d16e7bf7c3e607493bd07398ff0.json 2 additions, 0 deletions...ped.0.session/cache/87784d16e7bf7c3e607493bd07398ff0.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memtyped.0.session/cache/88cebc928f7f09c8404f0f551912aac0.json 1 addition, 0 deletions...ped.0.session/cache/88cebc928f7f09c8404f0f551912aac0.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/assigned_initialized_memtyped.0.session/cache/ba3b33e2aa1b2fcd91adf55c7c60b152.json 2 additions, 0 deletions...ped.0.session/cache/ba3b33e2aa1b2fcd91adf55c7c60b152.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/0c8d8229fd1113c3aaac6d045c5ec17a.json 1 addition, 0 deletions...ped.0.session/cache/0c8d8229fd1113c3aaac6d045c5ec17a.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/22d831911a6e3b613da9488f25950dfa.json 1 addition, 0 deletions...ped.0.session/cache/22d831911a6e3b613da9488f25950dfa.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/45889d9c2cc0ab362df5992931e4e411.json 1 addition, 0 deletions...ped.0.session/cache/45889d9c2cc0ab362df5992931e4e411.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/5eb01b7fcbf37ae8cdb071894915cf4e.json 1 addition, 0 deletions...ped.0.session/cache/5eb01b7fcbf37ae8cdb071894915cf4e.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/743d15e7563acf247b9f2a22711598a4.json 1 addition, 0 deletions...ped.0.session/cache/743d15e7563acf247b9f2a22711598a4.json
- src/plugins/wp/tests/wp_acsl/oracle_qualif/initialized_memtyped.0.session/cache/98d3ad4d3d19397488a568e130e4a373.json 1 addition, 0 deletions...ped.0.session/cache/98d3ad4d3d19397488a568e130e4a373.json
Loading
Please register or sign in to comment