ProB does not release memory after model checking

Description

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.

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

Assignee

Reporter

Components

Priority

More fields

Created May 17, 2013 at 1:47 AM
Updated January 30, 2014 at 2:30 PM
Resolved January 30, 2014 at 2:30 PM