andersk / splint.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | mutable type pair; | |
| 2 | ||
| 3 | void incx1 (pair p) { } | |
| 4 | void incx2 (pair p) { } | |
| 5 | void incx3 (pair p) { } | |
| 6 | void incx4 (pair p) { } | |
| 7 | ||
| 8 | only pair pair_create (void) { } | |
| 9 | void pair_free (out only pair p) { modifies p; } |