Add bigger test data.

diku-dk · Dec 1, 2023 · 02eb1db · 02eb1db
1 parent 5b2401e
commit 02eb1db
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/soacs/scan1.fut b/tests/soacs/scan1.fut
@@ -5,4 +5,5 @@
 -- output {
 --   [1, 3, 6, 10, 15, 21, 28, 36, 45]
 -- }
+-- compiled random input { [1000000]i32 } auto output
 def main(a: []i32): []i32 = scan (+) 0 a