Revision cef6a8e821f55e71b791555d22b45bd3debc2596 authored by Jonathan Protzenko on 08 May 2020, 16:26:29 UTC, committed by GitHub on 08 May 2020, 16:26:29 UTC
OCaml API: Don't run unit tests which require unsupported features
Hacl.Hash.PadFinish.fsti.hints
[
"Y�k�`CO\u001fU�8�\u00034Q�",
[
[
"Hacl.Hash.PadFinish.pad_len",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query",
"equation_Spec.Hash.Definitions.block_length",
"equation_Spec.Hash.Definitions.block_word_length",
"equation_Spec.Hash.Definitions.word_length",
"fuel_guarded_inversion_Spec.Hash.Definitions.hash_alg",
"primitive_Prims.op_Multiply", "projection_inverse_BoxInt_proj_0"
],
0,
"fbd75ce493d59f9b15aa48c0b40fd24f"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...