mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-22 08:36:22 +00:00
11 lines
357 B
C
11 lines
357 B
C
void append_non_wide_to_empty(void **state);
|
|
void append_wide_to_empty(void **state);
|
|
|
|
void append_non_wide_to_non_wide(void **state);
|
|
void append_wide_to_non_wide(void **state);
|
|
|
|
void append_non_wide_to_wide(void **state);
|
|
void append_wide_to_wide(void **state);
|
|
|
|
void append_no_wide_when_overrun(void **state);
|
|
void append_wide_when_overrun(void **state); |