GUI does not throw exception if it is just printed by core (e.g. mc_prism print(colored))

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

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

4 stars 1 forks source link

Closed xhajnal closed 5 years ago

xhajnal commented 5 years ago

Example: not propagated:

Computing reachable states...Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded

xhajnal commented 5 years ago

solved in e81b57f