Skip to main content

Browse the archive

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 
Merge pull request #298 from project-everest/vdum_ocaml_nits
 
OCaml API: Don't run unit tests which require unsupported features
2 parent s 760addb + 28f416c
Raw File
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"
    ]
  ]
]
back to top