progress in gui jumps around due to rounding problem

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

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

4 stars 1 forks source link

Open xhajnal opened 4 years ago

xhajnal commented 4 years ago

rounding the self.progress itself could change the result (progress not reaching 100)
introducing new self.progress_show and copying the value rounded and showing new can be used