]>
andersk Git - splint.git/blame_incremental - test/maxset/maxsetnoannotations.c
... / ...
| Commit | Line | Data |
|---|
| | 1 | #include "../../lib/ansi.h" |
| | 2 | |
| | 3 | void noancopy(/*@unique@*/ char * a, char *b) { |
| | 4 | strcpy (a,b); |
| | 5 | } |
This page took 0.036873 seconds and 5 git commands to generate.
andersk / splint.git / blame_incremental