"Save as"/clone for machines - Githubissues

hhu-stups / prob-issues

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

6 stars 0 forks source link

"Save as"/clone for machines #355

Closed iTitus closed 3 months ago

iTitus commented 4 months ago

It should be possible to duplicate a machine with the same settings/traces/VOs/...

iTitus commented 3 months ago

https://github.com/hhu-stups/prob2_ui/commit/0ae49737c7fced023ef74d319eace3c9a047100b https://github.com/hhu-stups/prob2_ui/commit/4fb8bdb1f8b7c8fb502bd595f9b384388accabc6