chore(tests/compiler/binomial): further reduce input size for debug build of interpreter...

2019-09-10 10:16:36 +02:00 · 2019-09-10 10:16:36 +02:00 · 2227873dc6
commit 2227873dc6
parent 9f88c949f1
2 changed files with 2 additions and 2 deletions
--- a/tests/compiler/binomial.lean
+++ b/tests/compiler/binomial.lean
@ -22,6 +22,6 @@ partial def display : Nat → Heap → IO Unit

 def main : IO Unit :=
 do
-let h := mkHeap 50 100;
+let h := mkHeap 20 20;
 display 0 h;
 IO.println h.toList.length
--- a/tests/compiler/binomial.lean.expected.out
+++ b/tests/compiler/binomial.lean.expected.out
@ -1 +1 @@
-5000
+400