You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
On the attached VC, z3 4.8.4 with a certain rlimit terminates immediately:
$ time z3.4.8.4 rlimit=610000 rlimit.smt2.txt
unknown
user 0m0.230s
But z3 4.8.5 doesn't stop and eats memory very fast (4 Gig in ~30 seconds, when I stopped it)
$ time z3.4.8.5 rlimit=610000 rlimit.smt2.txt
^C^C
real 0m39.013s
user 0m37.917s
To make it clear this isn't about the memory consumption but about the change in rlimit behavior. I think some rlimit timer isn't updated anymore and z3 just continues to run.
Any idea what could be the issue? Thank you in advance.
The text was updated successfully, but these errors were encountered:
rlimit.smt2.txt
Hello Z3 team,
On the attached VC, z3 4.8.4 with a certain rlimit terminates immediately:
But z3 4.8.5 doesn't stop and eats memory very fast (4 Gig in ~30 seconds, when I stopped it)
To make it clear this isn't about the memory consumption but about the change in rlimit behavior. I think some rlimit timer isn't updated anymore and z3 just continues to run.
Any idea what could be the issue? Thank you in advance.
The text was updated successfully, but these errors were encountered: