search

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker
BSD 3-Clause "New" or "Revised" License
4 stars 1 forks source link

improve multidimensional MH visualisation #54

Closed xhajnal closed 4 years ago

xhajnal commented 4 years ago

Now the first two parameters are shown - adding all pairs would be much better

xhajnal commented 4 years ago

In the multidimensional case, I can use showing multiple points of accepted points

xhajnal commented 4 years ago

Done in b64811cd513350dc9f092b0887aa4898e4004cb5