Try and reuse probcli when loading or re-loading a model

Description

Try to reuse the existing probcli when switching to a new machine or at least when reloading a machine.

This should improve reloading performance: re-loading a simple machine takes about 3 seconds and a machine like the AMASS scheduler takes 5 seconds.
This is not a real problem, but if a simple fix can improve this performance, that would be nice.
For comparison, the former is instantaneous in ProB Tcl/Tk and the latter takes about 1 second.
(NoteroB Tcl/Tk always uses the same probcli for animation.)
I think most of this time in ProB2 UI is lost due to starting up a new probcli?

Activity

Show:

dgelessusJune 15, 2020 at 1:57 PM

Implemented in 23d30704 in ProB 2 and in b3d95458 in the UI.

Fixed

Details

Assignee

Reporter

Priority

Created December 2, 2018 at 7:21 AM
Updated June 15, 2020 at 1:57 PM
Resolved June 15, 2020 at 1:57 PM
Loading...