Skip to content

Verify `Script_comparable.compare_comparable`

Guillaume Claret requested to merge verify-compare-comparable into master

The goal is to make a formal verification of the Script_comparable.compare_comparable function, which got a bug fix in tezos/tezos!3237 (merged)

Edited by Guillaume Claret

Merge request reports