diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-06-29 11:24:57 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-06-29 14:28:02 -0700 |
| commit | 1ba85932b1e11ae9db0e64dad20cd076db17aa1c (patch) | |
| tree | b195b4714a15206462f7be19c60011cafd4b7eb6 /src/rt/rust_kernel.cpp | |
| parent | d4b5b48e0a738dcb1b3d76295b525cd9147f64cb (diff) | |
| download | rust-1ba85932b1e11ae9db0e64dad20cd076db17aa1c.tar.gz rust-1ba85932b1e11ae9db0e64dad20cd076db17aa1c.zip | |
Add a runtime flag to enable/disable claims en masse
Now, if the environment variable CHECK_CLAIMS is set, then all claims turn into checks. Otherwise, claims are no-ops.
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions