fix this (functions values are correct, plot (blue) is not) - Githubissues

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

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

4 stars 1 forks source link

fix this (functions values are correct, plot (blue) is not) #47

Closed xhajnal closed 4 years ago

xhajnal commented 4 years ago

xhajnal commented 4 years ago

fixed in 029becb24173e0346db1399d4786aeba6eec6a1e