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.Lib.Bv_s.fst.hints
[
"�C %���=Ͽ��\u0003�0",
[
[
"Vale.Lib.Bv_s.int2bv_uext",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.pos",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_774ba3f728d91ead8ef40be66c9802e5"
],
0,
"ea300cf30e03a671c0b6cd1d74424b51"
],
[
"Vale.Lib.Bv_s.int2bv_uext",
2,
1,
0,
[
"@MaxIFuel_assumption", "@query", "equation_Prims.pos",
"projection_inverse_BoxInt_proj_0",
"refinement_interpretation_Tm_refine_774ba3f728d91ead8ef40be66c9802e5"
],
0,
"954641e9525e402392e9cf0e3b4befe3"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...