Warning when loading a prob2trace in ProB2-UI

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)

6 stars 0 forks source link

Open cobizobi opened 9 months ago

cobizobi commented 9 months ago

Sometimes, when replaying a saved .prob2trace in ProB2-UI, I get the following warning:

[INFO] ! A warning occurred (source: replay_json_trace_file) !
[INFO] ! JSON trace file model name Test.mch does not match current model name: Test

Unfortunately, I have not yet been able to reproduce it.