GUI, mc - call properties separately - update progress bar after each property checked

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

Closed xhajnal closed 3 years ago

xhajnal commented 4 years ago

Call PRISM/Storm separately for each property automatically (as implemented), make progress after each of prop is finished

xhajnal commented 3 years ago

merged with other paralleisations tasks