taol-assignments
Results
1
issues of
taol-assignments
KreMLin (version 4e48d26934965379b6b90363d4063dd277c04ca7) generated incorrect C code with the `-fmerge aggressive` options. # Low* Code ```fstar open U32 inline_for_extraction private let test1(b: U32.t{U32.v b < 10}): Tot U32.t = let...