chore: update label

pull/1895/head
devtooligan 1 year ago
parent 14c9761da2
commit fa22c3460e
No known key found for this signature in database
GPG Key ID: A5606B287899E7FB
  1. 2
      slither/printers/summary/ck.py

@ -244,7 +244,7 @@ class CKMetrics(AbstractPrinter):
txt += str(table1) + "\n"
# metrics4: function mutability counts
txt += bold("\nFunction mutatability\n")
txt += bold("\nState mutability\n")
keys = list(metrics3[self.contracts[0].name].keys())
table2 = make_pretty_table(["Contract", *keys], metrics3, True)
txt += str(table2) + "\n"

Loading…
Cancel
Save