quantitative sampling returns wrong results

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

Constraints: 0.5 <= p+q <= 1

qunatitative_bug

xhajnal commented 3 years ago

fixed in f80dbd7c24e166cb620a043ca7209fcb8a306aee