mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-21 09:06:21 +00:00
16 lines
534 B
C
16 lines
534 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);
|
|
|
|
void insert_non_wide_to_non_wide(void **state);
|
|
void insert_wide_to_non_wide(void **state);
|
|
void insert_non_wide_to_wide(void **state);
|
|
void insert_wide_to_wide(void **state); |