set maxheartbeats to what?

Stream: general

[Jared green]

what do other users set the option maxheartbeats to when the default is not enough? or rather, what number do you not dare set it above?

[Ruben Van de Velde]

You can use count_heartbeats in before the declaration

[Jared green]

suppose you arent sure your hardware can complete the computation at all

[Junyan Xu]

Hearbeats should be hardware independent.

[Jared green]

it matters if the computation could run out of memory

[Mauricio Collares]

In a way, but I get Jared's point: Memory allocation "costs" heartbeats, so if the number is too high Lean may consume more memory than you have available