Tony Arcieri
Tony Arcieri
Yes, that'd be fine
Aah yeah, I'd at least need `ConstChoice::is_false_vartime`. Edit: looks like it's always been `pub`. It was added in #159.
I managed to work around the issue using `Uint::cmp_vartime`, which is `pub` already
Nope, I wasn't able to get `bitwuzla` properly installed. Also: https://github.com/Ledger-Donjon/cargo-checkct/issues/15