summaryrefslogtreecommitdiff
path: root/tests/overflow.urs
Commit message (Expand)AuthorAge
* Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)Gravatar Adam Chlipala2011-08-02