mit-plv/fiat-crypto

Zig CI is broken

JasonGross opened this issue · 1 comments

inversion.zig:49:71: error: root struct of file 'meta' has no member named 'bitCount'
            fiat.selectznz(&v, @truncate(u1, f[f.len - 1] >> (std.meta.bitCount(Field.Word) - 1)), v, v_opp);
                                                              ~~~~~~~~^~~~~~~~~
referenced by:
    test.Field inversion: inversion.zig:100:19
    remaining reference traces hidden; use '-freference-trace' to see all reference traces

@jedisct1 how should we fix this?

Hi Jason!

#1552 fixes it.