SimB does not reset when changing machine

hhu-stups / prob-issues

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

6 stars 0 forks source link

Closed favu100 closed 5 months ago

favu100 commented 10 months ago

It seems that SimB does not reset when changing machine, thus making it impossible to run another simulation

favu100 commented 5 months ago

This issue was fixed at some point before