mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-19 17:06:21 +00:00
6 lines
292 B
C
6 lines
292 B
C
void expect_cons_show(char *expected);
|
|
void expect_any_cons_show(void);
|
|
void expect_cons_show_error(char *expected);
|
|
void expect_any_cons_show_error(void);
|
|
void expect_ui_current_print_line(char *message);
|
|
void expect_ui_current_print_formatted_line(char show_char, int attrs, char *message); |