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);