https://gitlab.com/tezos/tezos
Raw File
Tip revision: ea6985a68e8690ce45b476f2854c3afc8b756df2 authored by Ilias Garnier on 29 March 2023, 15:13:43 UTC
Diverging shrinking on some runs
Tip revision: ea6985a
pairing_check.tz
parameter (list (pair bls12_381_g1 bls12_381_g2));
storage (option bool);
code {CAR; PAIRING_CHECK; SOME; NIL operation; PAIR}
back to top