annotate tests/transactional.c @ 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 1cc67fdac4d3
children
rev   line source
adam@1327 1 #include <stdio.h>
adam@1327 2
adam@1327 3 #include "/usr/local/include/urweb/urweb.h"
adam@1327 4
adam@1327 5 static void do_free(void *data, int will_retry) {
adam@1327 6 printf("will_retry = %d\n", will_retry);
adam@1327 7 }
adam@1327 8
adam@1327 9 uw_unit uw_Transactional_foo(uw_context ctx) {
adam@1327 10 printf("Registering....\n");
adam@1327 11 uw_register_transactional(ctx, NULL, NULL, NULL, do_free);
adam@1327 12 }