contrib/revsetbenchmarks.py
changeset 51696 7f0cb9ee0534
parent 51686 493034cc3265
child 51699 ca7bde5dbafb
--- a/contrib/revsetbenchmarks.py	Mon Jul 22 16:49:38 2024 +0200
+++ b/contrib/revsetbenchmarks.py	Tue Jul 23 10:02:46 2024 +0200
@@ -191,7 +191,7 @@
 
 def formattiming(value):
     """format a value to strictly 8 char, dropping some precision if needed"""
-    if value < 10**7:
+    if value < 10 ** 7:
         return ('%.6f' % value)[:8]
     else:
         # value is HUGE very unlikely to happen (4+ month run)
@@ -371,6 +371,7 @@
 print()
 
 for ridx, rset in enumerate(revsets):
+
     print("revset #%i: %s" % (ridx, rset))
     printheader(variants, len(results), verbose=options.verbose, relative=True)
     ref = None