~tapaal-contributor/tapaal/stackoverflow-large-net-1853689

Viewing all changes in revision 1033.

  • Committer: ptaankvist at gmail
  • Date: 2019-12-07 12:17:21 UTC
  • Revision ID: ptaankvist@gmail.com-20191207121721-a2phpr28ypvdedky
Catch StackOverFlowError so gui does not break

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: