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.

Estimated changes