ProB does not release memory after model checking
Description
Environment
Rodin 2.7
ProB 2.40
Gliffy Diagrams
Activity
Show:

Jens Bendisposto January 30, 2014 at 2:30 PM
This is intended behavior. ProB keeps the state space that was explored during model checking.
Won't Fix
Details
Details
Assignee

Reporter

Components
Priority
More fields
Story Points, Original estimate
More fields
Story Points, Original estimateCreated May 17, 2013 at 1:47 AM
Updated January 30, 2014 at 2:30 PM
Resolved January 30, 2014 at 2:30 PM
After cancelling ProB model checking memory does not get released and thus easily builds up to 1-2GB.
To reproduce the problem just let model checker to work for a longer time.