OOM during cargo mirai project analysis

[anfedotoff]

Issue

Hi! 👋
I'm looking a SAST tool for our Rust project CASR and found your interesting project!
But, unfortunately I failed to analyze libcasr due to oom. It's seems to me that I need somehow to set limits to Z3.
Could you help me please not to OOM?

Steps to Reproduce

git clone https://github.com/ispras/casr.git
cd casr/libcasr
cargo mirai

Expected Behavior

Analysis correctly finished.

Actual Results

Checking libcasr v2.8.1 (/home/fedotoff/casr/libcasr)
error: could not compile `libcasr` (lib)

Caused by:
  process didn't exit successfully: `/home/fedotoff/.cargo/bin/cargo-mirai /home/fedotoff/.rustup/toolchains/nightly-2023-08-04-x86_64-unknown-linux-gnu/bin/rustc --crate-name libcasr --edition=2021 libcasr/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --diagnostic-width=211 --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 -C metadata=c3672120eac1a22d -C extra-filename=-c3672120eac1a22d --out-dir /home/fedotoff/casr/target/debug/deps -C incremental=/home/fedotoff/casr/target/debug/incremental -L dependency=/home/fedotoff/casr/target/debug/deps --extern chrono=/home/fedotoff/casr/target/debug/deps/libchrono-2135420f97fe5719.rmeta --extern gdb_command=/home/fedotoff/casr/target/debug/deps/libgdb_command-16773911a453ec26.rmeta --extern kodama=/home/fedotoff/casr/target/debug/deps/libkodama-49bb157ae630fbfb.rmeta --extern lazy_static=/home/fedotoff/casr/target/debug/deps/liblazy_static-2eca50460818a6c7.rmeta --extern regex=/home/fedotoff/casr/target/debug/deps/libregex-3f5580cfca51fe1d.rmeta --extern thiserror=/home/fedotoff/casr/target/debug/deps/libthiserror-e86052f378d742ae.rmeta --cfg mirai -Z always_encode_mir` (exit status: 255)

Environment

rustc 1.72.0 (5680fa18f 2023-08-23)