summaryrefslogtreecommitdiff
path: root/6/asm.h
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-10-07 20:48:11 -0400
committerOri Bernstein <ori@eigenstate.org>2014-10-07 20:48:11 -0400
commit217a65d3c047bcdec44155f2688e3b1bdfd2414f (patch)
tree309a5959d8e96b8215296e97251c57ced77fd803 /6/asm.h
parent7088e222cf1b0ae17607ce0ac232067a172b851e (diff)
downloadmc-217a65d3c047bcdec44155f2688e3b1bdfd2414f.tar.gz
Add '-c' (extracheck) option to mc
To enable flaky checks. Checks guarded by this will eventually get enabled by default.
Diffstat (limited to '6/asm.h')
-rw-r--r--6/asm.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/6/asm.h b/6/asm.h
index d0b009f..c0c1e1d 100644
--- a/6/asm.h
+++ b/6/asm.h
@@ -187,6 +187,9 @@ struct Isel {
extern char *modenames[];
+/* options */
+extern int extracheck;
+
/* entry points */
void genblob(FILE *fd, Node *blob, Htab *globls, Htab *strtab);
void genasm(FILE *fd, Func *fn, Htab *globls, Htab *strtab);