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

[merkste]

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]

Yes, good spot. This changed recently, in 95a6c58. 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.