Add i12241 to benchmarks

oleg-py · Apr 29, 2021 · bb6c961 · bb6c961
1 parent 29dbb82
commit bb6c961
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/bench/profiles/exhaustivity.yml b/bench/profiles/exhaustivity.yml
@@ -35,6 +35,12 @@ charts:
         - key: exhaustivity-mips
           label: bootstrapped
 
+    - name: "exhaustivity i12241"
+      url: https://github.com/lampepfl/dotty/blob/master/tests/patmat/i12241.scala
+      lines:
+        - key: exhaustivity-i12241
+          label: bootstrapped
+
 scripts:
 
     patmatexhaust:
@@ -55,5 +61,8 @@ scripts:
     exhaustivity-mips:
         - measure 20 40 3 $PROG_HOME/dotty/tests/patmat/i7186.scala
 
+    exhaustivity-i12241:
+        - measure 20 40 3 $PROG_HOME/dotty/tests/patmat/i12241.scala
+
 config:
     pr_base_url: "https://github.com/lampepfl/dotty/pull/"