Verify 🧑⚕️ Test_sc_rollup_tick_repr.v
https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/tests/pbt_generated/test_sc_rollup_tick_repr/
-
fix the commented code -
write the proofs for each test
Edited by Guillaume Claret
https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/tests/pbt_generated/test_sc_rollup_tick_repr/