Skip to content

enable the asserts again with the rounding taken into account #432

enable the asserts again with the rounding taken into account

enable the asserts again with the rounding taken into account #432

Annotations

1 error and 1 warning

Certora (Hub exec normal revert, exec_normal_revert)

failed Mar 19, 2024 in 19s