devs/cproof
1
2
Fork 1
Code Issues 43 Pull Requests 6 Actions Packages Projects 1 Releases Wiki Activity
Files
003002d6384c2a2bb73d6b33a89f82c9dfd700d0
cproof/tests/ui/stub_ui.h
James Booth 8c01021ab9 Use will_return instead of mock values
2014-12-23 21:42:01 +00:00

2 lines
39 B
C
Raw Blame History

void expect_cons_show(char *expected);
Reference in New Issue View Git Blame Copy Permalink