polish the hotfix of "iterative call failing"

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

hotfix in 04e114e27039937c07079bb612af02c4d9bb8330

option 1: get rid of the iterative approach as it is probably not efficient

option 2: fix gui.py so it is not using iterative iterative flag

option 3: rewrite refine_space.check_deeper() so it supports iterative method and calls it properly - check_deeper_iter