Z3_MEMOUT_FAIL assertion failure in Z3's C++ API solver check?

2
votes

I am getting a Z3_MEMOUT_FAIL as the assertion failure when I call solver.check(). What does this actually mean? Is it simply that Z3 function ran out of memory?

1
exceptionz3

1 Answers

1
votes

Yes, that exception means that the solver ran out of memory.