summaryrefslogtreecommitdiffstats
path: root/src/main2.h
blob: 312cc55360cff326c828524f94eca2d49fd0b4fc (plain)
1
2
3
4
extern int simulate;
extern int noverify;
extern int verbose;