quint icon indicating copy to clipboard operation
quint copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Profile memory usage in the simulator

Open konnov opened this issue 2 years ago • 0 comments

In one of the early experiments, _test has failed with out of memory. It looks like, the simulator is leaking memory.

konnov avatar Oct 17 '22 16:10 konnov