search

prismmodelchecker / prism

The main development version of the PRISM model checker.
http://www.prismmodelchecker.org/
GNU General Public License v2.0
157 stars 73 forks source link

[GUI] Constant definitions for verify action get lost after model reload #206

Open merkste opened 1 year ago

merkste commented 1 year ago

After reloading a model, constants defined in a previous run get lost. Interestingly, the constants defined in a previous experiment are preserved. After running an experiment, the constant definitions for verify are restored (or taken over from the experiment).

davexparker commented 1 year ago

Yes, good spot. This changed recently, in 95a6c582bd70d5881762fd38bd64cefe953c02e7. That tries to keep more functionality in the prism.Prism API and avoid duplicating it in the GUI. But this "reload model and remember constants" breaks. Worth thinking about.