https://github.com/bronsa/z3-oom-repro
https://github.com/bronsa/z3-oom-repro
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/bronsa/z3-oom-repro
- Owner: Bronsa
- Created: 2018-11-19T10:59:03.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2018-11-19T12:13:09.000Z (over 6 years ago)
- Last Synced: 2025-01-22T05:27:55.460Z (4 months ago)
- Language: OCaml
- Size: 1000 Bytes
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Setup
```
opam switch create . ocaml-base-compiler.4.06.1
opam install dune z3
export LD_LIBRARY_PATH=_opam/lib/z3/
make
```
# Repro
the memory thresholds might be different depending on machine
with 400mb max-memory:
```
> _build/default/src/repro.exe 400
libc++abi.dylib: terminating with uncaught exception of type out_of_memory_error
[1] 40833 abort _build/default/src/repro.exe 400
```
with 500mb max-memory:
```
> _build/default/src/repro.exe 500
caught Z3.Error: out of memory
```