diff options
author | Alon Zakai <alonzakai@gmail.com> | 2011-04-18 17:43:43 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2011-04-18 17:43:43 -0700 |
commit | 46e3b2a78717b112254be5f6e8cbd1fad6ab1703 (patch) | |
tree | 6c2d8966086d72e632eb37ed313d1f3c0a939e7d /src/settings.js | |
parent | f89d9e2be63cbc3d4984dc748dac433dc3491fed (diff) |
refactor assertions and parsing code
Diffstat (limited to 'src/settings.js')
-rw-r--r-- | src/settings.js | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/settings.js b/src/settings.js index a93d9183..fc86edcf 100644 --- a/src/settings.js +++ b/src/settings.js @@ -23,11 +23,12 @@ CHECK_SIGNS = 0; // Runtime errors for signing issues that need correcting. // order to find if your code needs CORRECT_SIGNS. If you can get your // code to run without CORRECT_SIGNS, it will run much faster -GUARD_LABELS = 0; // Whether we should throw if we encounter a bad __label__, i.e., - // if code flow runs into a fault -GUARD_MEMORY = 1; // Whether we should check that each allocation to the stack does not - // exceed it's size, whether all allocations (stack and static) are - // of positive size, etc. +ASSERTIONS = 1; // Whether we should add runtime assertions, for example to + // check that each allocation to the stack does not + // 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 + INVOKE_RUN = 1; // Whether we will call run(). Disable if you embed the generated // code in your own, and will call run() yourself at the right time INIT_STACK = 1; // Whether to initialize memory on the stack to 0. |