search

hhu-stups / prob-issues

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

Copy validation tasks and VOs from one machine to another #354

Closed favu100 closed 1 month ago

favu100 commented 1 month ago

Currently, it is not possible to copy validation tasks and VOs from one machine to another. This feature could be helpful as well

iTitus commented 1 month ago

219