mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-18 19:36:20 +00:00
3 lines
77 B
C
3 lines
77 B
C
void returns_no_commands(void** state);
|
|
void returns_commands(void** state);
|