MH - progress shows only iteration progress and not time

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

it simply shows only progress by iterations at the time, even though the time will run out faster

xhajnal commented 4 years ago

time information added in a47627d9ec2da7ecb90c7adc0f6ecbc4eb7c5ca4 progress barr still shows only the iterations