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.

1 files changed, 6 insertions, 0 deletions

diff --git a/src/rt/rust.cpp b/src/rt/rust.cpp
index 02ab54fd2e1..bd2a5ad1b95 100644
--- a/src/rt/rust.cpp
+++ b/src/rt/rust.cpp
@@ -91,10 +91,16 @@ int get_num_threads()
  * initialize the kernel, create the root domain and run it.
  */
 
+int check_claims = 0;
+
+void enable_claims(void* ck) { check_claims = (ck != 0); }
+
 extern "C" CDECL int
 rust_start(uintptr_t main_fn, int argc, char **argv, void* crate_map) {
 
     update_log_settings(crate_map, getenv("RUST_LOG"));
+    enable_claims(getenv("CHECK_CLAIMS"));
+
     rust_srv *srv = new rust_srv();
     rust_kernel *kernel = new rust_kernel(srv);
     kernel->start();