diff options
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.js b/src/settings.js index c156a40c..52605bda 100644 --- a/src/settings.js +++ b/src/settings.js @@ -36,6 +36,7 @@ var ASSERTIONS = 1; // Whether we should add runtime assertions, for example to // exceed it's size, whether all allocations (stack and static) are // of positive size, etc., whether we should throw if we encounter a bad __label__, i.e., // if code flow runs into a fault + // ASSERTIONS == 2 gives even more runtime checks var VERBOSE = 0; // When set to 1, will generate more verbose output during compilation. var INVOKE_RUN = 1; // Whether we will run the main() function. Disable if you embed the generated |