loading multidim space with refinement

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 4 years ago

Wont show the picture

xhajnal commented 4 years ago

fixed in 418fc4e0dbc3ae276e398d6043f0f2b1213d78b2