Make input files for the benchmarks

Antoine Brunner · Antoine Brunner · commit 049a3adce53c · 2019-12-03T21:36:23.000+01:00
diff --git a/bench-run/inputs/apply.in b/bench-run/inputs/apply.in
@@ -0,0 +1 @@
+sizeAndIndex:1 0,6 0,6 5,11 0,11 5,11 10,16 0,16 5,16 10,16 15,21 0,21 5,21 10,21 15,21 20,26 0,26 5,26 10,26 15,26 20,26 25,31 0,31 5,31 10,31 15,31 20,31 25,31 30
diff --git a/bench-run/inputs/concat.in b/bench-run/inputs/concat.in
diff --git a/bench-run/inputs/cons.in b/bench-run/inputs/cons.in
@@ -0,0 +1 @@
+size:0,5,10,15,20,25,30

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+sizeAndIndex:1 0,6 0,6 5,11 0,11 5,11 10,16 0,16 5,16 10,16 15,21 0,21 5,21 10,21 15,21 20,26 0,26 5,26 10,26 15,26 20,26 25,31 0,31 5,31 10,31 15,31 20,31 25,31 30`