]>
andersk Git - splint.git/blame_incremental - test/mut.lh
... / ...
Commit | Line | Data |
| 1 | /* Output from Splint 3.0.0.20 */ |
| 2 | # include "bool.h" |
| 3 | |
| 4 | |
| 5 | extern /*@only@*/ mut mut_create (void); |
| 6 | extern void mut_mod (mut /* a */); |
This page took 0.126813 seconds and 5 git commands to generate.