find_param will fail sort r_1,r_2,r_10 since it uses lexicographical ordering

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

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

4 stars 1 forks source link

Closed xhajnal closed 4 years ago

xhajnal commented 5 years ago

this can be overcome by introducing the parameter space as an instance of src.space.RefinedSpace

xhajnal commented 4 years ago

ONLY CASE STUDY RELATED ISSUE, TO BE DEALT WITH BY MODELLER