Mercurial > hg > Gears > GearsAgda
view src/llrb/origin_cs.c @ 99:ca55f4be5f0f
Create verifier directory
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 02 Feb 2016 16:02:55 +0900 |
parents | 368306e1bfed |
children |
line wrap: on
line source
#include <stdlib.h> #include "llrbContext.h" __code meta(struct Context* context, enum Code next) { goto (context->code[next])(context); } __code start_code(struct Context* context, enum Code next) { goto meta(context, next); } __code exit_code(struct Context* context) { free(context->code); free(context->data); free(context->heapStart); goto exit(0); }