Mercurial > hg > CbC > old > akasha

view cbmc/insert_verification/include/cbmcCS.h @ 37:e27f4961281e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
WIP: insert verification using cbmc (syntax valid)
author atton
date Mon, 13 Jun 2016 01:35:37 +0000
parents
children
line wrap: on
line source

extern void startCode(enum Code next);
extern void exitCode(struct Context* context);
extern void meta(struct Context* context, enum Code next);