src/plugins/wp/cfgCalculus.ml · 48691b0e18c576adb1596f1871e412b4f648a67a · pub / frama-c

3 years ago

Allan Blanchard authored 3 years ago

- A1 A2 ... : prove A1 -> hyp A1 -> prove A2 -> hyp A2 ...
- Move smoke tests to the end of code assertions

48691b0e

Allan Blanchard authored 3 years ago

- A1 A2 ... : prove A1 -> hyp A1 -> prove A2 -> hyp A2 ...
- Move smoke tests to the end of code assertions