mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-19 02:16:21 +00:00
Writing this test I'm unsure whether a function like string_matches_one_of() should actually call cons_show(). Let's just note that for later.