CMake build test error

[lucaslulu]

1/64 Test #1: Test_AbsoluteValueConstraint .......Subprocess aborted***Exception: 0.11 sec
==36235==ERROR: AddressSanitizer failed to allocate 0xdfff0001000 (15392894357504) bytes at address 2008fff7000 (errno: 12)
==36235==ReserveShadowMemoryRange failed while trying to map 0xdfff0001000 bytes. Perhaps you're using ulimit -v

  Start 37: Test_SparseUnsortedArray

2/64 Test #2: Test_BlandsRule ....................Subprocess aborted***Exception: 0.11 sec
==36236==ERROR: AddressSanitizer failed to allocate 0xdfff0001000 (15392894357504) bytes at address 2008fff7000 (errno: 12)
==36236==ReserveShadowMemoryRange failed while trying to map 0xdfff0001000 bytes. Perhaps you're using ulimit -v

  Start 38: Test_SparseUnsortedArrays

Above are the error message, but when I type ulimit, it displays that the memory is unlimited. How to overcome this issue?

[lucaslulu]

It is the memory tests crashing.

[wu-haoze]

Hi @lucaslulu , could you please share the cmake options that you used when building Marabou?

[idan0610]

This issue has most likely become stale and is being closed. If the problem persists, please contact us or open a new issue.