Skip to content

Commit

Permalink
rlimit note
Browse files Browse the repository at this point in the history
  • Loading branch information
@parno
parno committed Jan 3, 2024
1 parent 173c6c8 commit eb51cb0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion examples/verus-system-notes.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit eb51cb0

Please sign in to comment.