Commit 2024-05-13 02:40 494bef57
View on Github →feat: add count_heartbeats! command, and tactic mode count_heartbeats (#9733) Per discussion on zulip. Example usage:
count_heartbeats! in
def f := 37
displays the info message Min: 7 Max: 8 StdDev: 14%
.
There is also a count_heartbeats simp
tactic combinator, and count_heartbeats! simp
that runs 10 times and prints the range and stddev.