src/plugins/wp/wpPropId.ml · df88083dee2b9009a5dd367db2120bd71230e64f · pub / frama-c · GitLab

Snippets Groups Projects

5 years ago
28f6ab6f
[WP] Prop name prettier in case of multiple call to the same function · 28f6ab6f
François Bobot authored 5 years ago
```
  instead of caller_call_callee_requires_foo_2 we have
   caller_call_callee_2_requires_foo .
```
28f6ab6f

History
[WP] Prop name prettier in case of multiple call to the same function
François Bobot authored 5 years ago
```
  instead of caller_call_callee_requires_foo_2 we have
   caller_call_callee_2_requires_foo .
```