diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-08-02 14:31:37 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-08-02 14:31:37 -0400 |
commit | 18c72ec4eb9f53935a1a1d7145b919f8a8c8684e (patch) | |
tree | 8916c74bf31d44a9de1144f76b6a44a313520c21 /tests/overflow.urs | |
parent | 949fe8f9ce90257cd354c2d19d611cbcc3b569ef (diff) |
Introduce URWEB_STACK_SIZE environment variable (based on a patch by Hao Deng)
Diffstat (limited to 'tests/overflow.urs')
-rw-r--r-- | tests/overflow.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/overflow.urs b/tests/overflow.urs new file mode 100644 index 00000000..6ac44e0b --- /dev/null +++ b/tests/overflow.urs @@ -0,0 +1 @@ +val main : unit -> transaction page |