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
Vale.Def.Words.Two.fsti.hints
[
"�\u000bO���'+��j�~�",
[
[
"Vale.Def.Words.Two.nat_to_two_to_nat",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.nat",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_542f9d4f129664613f2483a6c88bc7c2"
],
0,
"ce629c28b7e9d60c4a4cf5698e0fa21c"
],
[
"Vale.Def.Words.Two.two_to_nat_to_two",
1,
1,
0,
[ "@query" ],
0,
"4a6582e694bc0b73353001c19ee6f5ba"
],
[
"Vale.Def.Words.Two.two_to_nat_32_injective",
1,
1,
0,
[ "@query" ],
0,
"15dee1f67222a09192b2d137d7b08257"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...