progress bar really slows down Metropolis-Hastings

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

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

4 stars 1 forks source link

Open xhajnal opened 3 years ago

xhajnal commented 3 years ago

model: 2bees, old, semysinch

progress bar not updated

normal:

xhajnal commented 3 years ago

hot fix - added flag in config to hide progress and quicker analysis