quantitative sampling crashes when the intervals fliped

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

0.270794145078059 >= p >= 0.129205854921941

0.270794145078059 >= p

xhajnal commented 4 years ago

now returns an error and asks to flip > back to <

xhajnal commented 3 years ago

fixed, automatically flips and computes the distance