From eb51cb0252b82df5faf85f7aa51e9120c68956f0 Mon Sep 17 00:00:00 2001
From: Bryan Parno <parno@cmu.edu>
Date: Tue, 2 Jan 2024 21:26:20 -0500
Subject: [PATCH] rlimit note

---
 examples/verus-system-notes.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/verus-system-notes.txt b/examples/verus-system-notes.txt
index e25260a..9da17a3 100644
--- a/examples/verus-system-notes.txt
+++ b/examples/verus-system-notes.txt
@@ -41,7 +41,7 @@ verus-systems-code/memory-allocators $ ./setup-libc-dependency.sh
 ```
 Then run:
 ```
-verus-systems-code/memory-allocators/verus-mimalloc $ VERUS_SINGULAR_PATH=/opt/homebrew/bin/singular verus --extern libc=../build/liblibc.rlib lib.rs "$@" --triggers-silent -- -Zproc-macro-backtrace
+verus-systems-code/memory-allocators/verus-mimalloc $ VERUS_SINGULAR_PATH=/opt/homebrew/bin/singular verus --rlimit 50 --extern libc=../build/liblibc.rlib lib.rs "$@" --triggers-silent -- -Zproc-macro-backtrace
 ```
 
 # page table