Skip to content

Commit

Permalink
review changes applied
Browse files Browse the repository at this point in the history
  • Loading branch information
alv-around committed Sep 27, 2023
1 parent 4fbc5c5 commit e391fe1
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import "./unpack_unchecked";
// Note: uniqueness of the output is not guaranteed
// For example, `0` can map to `[0, 0, ..., 0]` or to `bits(p)`
def main(field i, u32 bit_size) -> bool[256] {
assert(bit_size == 254 || bit_size == 255);
assert(bit_size <= 256);
u32 padding_size = 256 - bit_size;
bool[bit_size] b = unpack_unchecked(i);
return [...[false; padding_size], ...b];
Expand Down

0 comments on commit e391fe1

Please sign in to comment.