Merge pull request #142 from lyrm/skiplist-bench

lyrm · web-flow · commit 17148d839629 · 2024-06-25T17:06:59.000+02:00
Add back an accidentally dropped line.
diff --git a/bench/main.ml b/bench/main.ml
@@ -4,6 +4,7 @@ let benchmarks =
     ("Saturn_lockfree Queue", Bench_queue.run_suite);
     ("Saturn_lockfree Single_prod_single_cons_queue", Bench_spsc_queue.run_suite);
     ("Saturn_lockfree Size", Bench_size.run_suite);
+    ("Saturn_lockfree Skiplist", Bench_skiplist.run_suite);
     ("Saturn_lockfree Stack", Bench_stack.run_suite);
     ("Saturn_lockfree Work_stealing_deque", Bench_ws_deque.run_suite);
   ]

Original file line number	Diff line number	Diff line change
`@@ -4,6 +4,7 @@ let benchmarks =`
`4`	`4`	`("Saturn_lockfree Queue", Bench_queue.run_suite);`
`5`	`5`	`("Saturn_lockfree Single_prod_single_cons_queue", Bench_spsc_queue.run_suite);`
`6`	`6`	`("Saturn_lockfree Size", Bench_size.run_suite);`
	`7`	`+ ("Saturn_lockfree Skiplist", Bench_skiplist.run_suite);`
`7`	`8`	`("Saturn_lockfree Stack", Bench_stack.run_suite);`
`8`	`9`	`("Saturn_lockfree Work_stealing_deque", Bench_ws_deque.run_suite);`
`9`	`10`	`]`