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 | 85ce956f28fd9715d1c943a9f02e5fdde00d2d01 (patch) | |
tree | 8916c74bf31d44a9de1144f76b6a44a313520c21 /tests/overflow.urs | |
parent | 236387604322b81260110f93be57762eac3ef20b (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 |