Verify π§ββοΈ Test_bitset.v
Verify the test in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/tests/pbt_generated/test_bitset/ (lemma tests_are_valid
).
Verify the test in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/tests/pbt_generated/test_bitset/ (lemma tests_are_valid
).