Commit 2025-01-15 17:38 32367013

View on Github →

chore: fix some slow maxHeartbeats and backwards compatibility flags (#20214) This PR fixes some set_option maxHeartbeats and all set_option backwards._ situations. In these possible ways:

  • writing the proof in a better way
  • overwriting the default aesop_cat with a more efficient proof
  • simply removing an unnecessary set_option. This saves quite a bit of time. closes #12534 closes #12535

Estimated changes