[GUI] Loading large Property-files takes very long

prismmodelchecker / prism

The main development version of the PRISM model checker.

http://www.prismmodelchecker.org/

GNU General Public License v2.0

157 stars 72 forks source link

[GUI] Loading large Property-files takes very long #230

Open DX3253 opened 1 year ago

DX3253 commented 1 year ago

When you try to import a large and complex Property-file using the GUI, it will take much time to finish loading it. For example see mffnor_1_bl_in.zip