--- a/contrib/perf-utils/compare-discovery-case	Sat Jun 04 19:10:51 2022 +0200
+++ b/contrib/perf-utils/compare-discovery-case	Sun Jun 05 07:16:29 2022 +0200
@@ -99,7 +99,11 @@
 
 def parse_case(case):
     case_type, case_args = case.split('-', 1)
-    case = (case_type,) + tuple(int(x) for x in case_args.split('-'))
+    if case_type == 'file':
+        case_args = (case_args,)
+    else:
+        case_args = tuple(int(x) for x in case_args.split('-'))
+    case = (case_type,) + case_args
     return case
 
 
@@ -115,6 +119,8 @@
         return '::randomantichain(all(), "%d")' % case[1]
     elif t == 'rev':
         return '::%d' % case[1]
+    elif t == 'file':
+        return '::nodefromfile("%s")' % case[1]
     else:
         assert False