Mercurial > urweb
annotate tests/test.h @ 2195:18e6fb487880
Reduce: add reduction in some spots previously missed, associated with 'case' return types
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 25 Nov 2015 18:48:17 -0500 |
parents | eac1974924bb |
children |
rev | line source |
---|---|
adamc@764 | 1 #include "../include/urweb.h" |
adamc@764 | 2 |
adamc@764 | 3 typedef uw_Basis_string uw_Test_t; |
adamc@764 | 4 |
adamc@764 | 5 uw_Test_t uw_Test_create(uw_context, uw_Basis_string); |
adamc@764 | 6 uw_Basis_string uw_Test_out(uw_context, uw_Test_t); |
adamc@764 | 7 uw_Test_t uw_Test_frob(uw_context, uw_Test_t, uw_Basis_string); |
adamc@765 | 8 |
adamc@765 | 9 uw_Basis_unit uw_Test_print(uw_context); |
adamc@766 | 10 uw_Basis_unit uw_Test_foo(uw_context); |
adamc@771 | 11 |
adamc@771 | 12 uw_Basis_unit uw_Test_transactional(uw_context); |