summaryrefslogtreecommitdiff
path: root/tests/hog.urp
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-12-11 15:16:04 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2010-12-11 15:16:04 -0500
commitf327681cc734f2b478051f0174ca9d980ff2e5ae (patch)
tree83876d7a5e776b30240a4894ea70dfa58ddf120b /tests/hog.urp
parent019d9a9c56bab7876983b78613e621d884ec20ae (diff)
minHeap option in .urp files
Diffstat (limited to 'tests/hog.urp')
-rw-r--r--tests/hog.urp2
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/hog.urp b/tests/hog.urp
index 615fb529..edfef7f1 100644
--- a/tests/hog.urp
+++ b/tests/hog.urp
@@ -1 +1,3 @@
+minHeap 1000000
+
hog