Refactor project model wrt verification tasks

hhu-stups / prob-issues

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

6 stars 0 forks source link

Open iTitus opened 7 months ago

iTitus commented 7 months ago

Ideas:

[x] save all verification tasks (model checking, LTL, ...) as a flat list with type tags
- improves extensibility and flexibility of save format
[ ] split check result from the task itself
- allows applying the same task to different machines