Skip to content

Instantly share code, notes, and snippets.

@misberner

misberner/rers.c

Created April 5, 2016 15:44
Show Gist options
  • Save misberner/9393a16d1c67ef5335523ac3ccd3019c to your computer and use it in GitHub Desktop.
Save misberner/9393a16d1c67ef5335523ac3ccd3019c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
rers.c
void __VERIFIER_error(int i) {
fprintf(stderr, "error_%d\n", i);
assert(0);
}
#define __VERIFIER_error(x) \
do { \
int error_ ## x = 0; \
assert(error_ ## x); \
} while(0)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment