Mercurial > urweb

annotate tests/test.h @ 1215:360f1ed0a969

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Implemented proper congruence closure, to the point where tests/policy works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 08 Apr 2010 12:46:21 -0400
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);