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.X64.Stack_i.fsti.hints
[
"*�J��+�p���ã!\u0019\u0018",
[
[
"Vale.X64.Stack_i.lemma_same_init_rsp_free_stack64",
1,
1,
0,
[ "@query" ],
0,
"dfce165ff2eaeebb6e44fd1fa8503cc9"
],
[
"Vale.X64.Stack_i.lemma_same_init_rsp_store_stack64",
1,
1,
0,
[ "@query" ],
0,
"2e91e138d0775cd4a1b33794164532ce"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...