Local copy of build model

[iram....@seecs.edu.pk]

Hi,

Does prism save a local copy of the model after it is built? if yes, how can we access it?

Actually every time a property is being tested, prism builds the model from scratch especially when using the command line version. So if we have a local copy, then testing might take less time and memory can be saved as well.

Thanks,

Iram