search

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)
6 stars 0 forks source link

Generated traces by SimB are not saved at the selected location #331

Closed cobizobi closed 1 year ago

cobizobi commented 1 year ago

On Windows, generated traces by SimB are saved in the default folder of the user profile instead of the selected location and the selected file name is also not used (at least for me).

favu100 commented 1 year ago

I cannot reproduce this issue. However, another bug has been fixed which is related to this bug. Is this still an issue?

cobizobi commented 1 year ago

This seems to have fixed my problem too. It works now.