bump thread stack size to 1 GB
authorKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 9 Jun 2015 20:25:02 +0000 (16:25 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 9 Jun 2015 20:25:02 +0000 (16:25 -0400)
commit74122fe04d641d3d416a53783bd075ca9491c0b7
tree2f1878371a5750784a1dca905a01b84f98b4dcca
parent3fbe87912dbffe70cf01fdf0b4652960998ea480
bump thread stack size to 1 GB
contrib/run-script-smtcomp2015
contrib/run-script-smtcomp2015-assertions
contrib/run-script-smtcomp2015-experimental