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.Streaming.Functor.fsti.hints
[
"Ib�\u0015w�j$@e<\u0004�E�)",
[
[
"Hacl.Streaming.Functor.loc_includes_union_l_footprint_s",
1,
0,
0,
[ "@query" ],
0,
"687d639a4d7b77201283a441854ac774"
],
[
"Hacl.Streaming.Functor.invariant",
1,
0,
0,
[
"@MaxIFuel_assumption", "@query",
"equation_Hacl.Streaming.Functor.state",
"equation_Hacl.Streaming.Functor.state_",
"equation_LowStar.Buffer.pointer",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_573cfed777dae20cc82e8fef9622857e"
],
0,
"5c91ee26782ad440f573ff9154834532"
],
[
"Hacl.Streaming.Functor.index_of_state",
1,
0,
0,
[
"@MaxIFuel_assumption", "@query",
"refinement_interpretation_Tm_refine_282b371e484f60711d2ac598c6e009a2",
"refinement_interpretation_Tm_refine_eed61e872c76c9d08d9c5e037b1dc22d"
],
0,
"a8a694e27ecff07bd9a6342dfdba8c46"
],
[
"Hacl.Streaming.Functor.create_in",
1,
0,
0,
[
"@MaxIFuel_assumption", "@query",
"refinement_interpretation_Tm_refine_02951fd03552320d928a2182ed63fa53",
"refinement_interpretation_Tm_refine_a997f7fc0ee9057c4f6335ecd3b55d00"
],
0,
"9c7632283c9da9a239cec317b7d76b4e"
],
[
"Hacl.Streaming.Functor.init",
1,
0,
0,
[
"@MaxIFuel_assumption", "@query",
"refinement_interpretation_Tm_refine_282b371e484f60711d2ac598c6e009a2",
"refinement_interpretation_Tm_refine_eed61e872c76c9d08d9c5e037b1dc22d"
],
0,
"aed34523554736e51bdcae0a865974f3"
],
[
"Hacl.Streaming.Functor.update_pre",
1,
0,
0,
[ "@query" ],
0,
"3721688bfba6757b4d63f363941bb907"
],
[
"Hacl.Streaming.Functor.update",
1,
0,
0,
[
"@MaxIFuel_assumption", "@query",
"refinement_interpretation_Tm_refine_282b371e484f60711d2ac598c6e009a2",
"refinement_interpretation_Tm_refine_eed61e872c76c9d08d9c5e037b1dc22d"
],
0,
"00a4bbfac540a9bef5d7f43724aa1910"
],
[
"Hacl.Streaming.Functor.finish_st",
1,
0,
0,
[
"@MaxIFuel_assumption", "@query",
"equation_Hacl.Streaming.Functor.uint8",
"equation_Hacl.Streaming.Interface.uint8",
"fuel_guarded_inversion_Hacl.Streaming.Interface.block",
"refinement_interpretation_Tm_refine_02951fd03552320d928a2182ed63fa53",
"refinement_interpretation_Tm_refine_a997f7fc0ee9057c4f6335ecd3b55d00",
"refinement_interpretation_Tm_refine_dad2225e9a5809c25cc11ca06929af8f"
],
0,
"e457c7375c48feb85c4931eefc5d39a8"
],
[
"Hacl.Streaming.Functor.free",
1,
0,
0,
[
"@MaxIFuel_assumption", "@query",
"refinement_interpretation_Tm_refine_282b371e484f60711d2ac598c6e009a2",
"refinement_interpretation_Tm_refine_eed61e872c76c9d08d9c5e037b1dc22d"
],
0,
"3d6cf27838a2774e51744bc3918bdc14"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...