Check world (test F* + all subprojects) #448
Annotations
2 errors
|
|
|
MST.Tot.fst#L74
(19) * Error 19 at MST.Tot.fst(74,13-74,31):
- Subtyping check failed
- Expected type
wp:
FStar.Pervasives.st_wp_h FStar.Monotonic.Heap.heap 'a
{MST.Repr.st_wp_monotonic FStar.Monotonic.Heap.heap wp}
got type
p:
(
_: _: 'a{Prims.l_True} ->
_: _: FStar.Monotonic.Heap.heap{Prims.l_True}
-> Type0) ->
h: _: FStar.Monotonic.Heap.heap{Prims.l_True}
-> Prims.pure_pre
- The SMT solver could not prove the query. Use --query_stats for more
details.
- This query was retried due to the --proof_recovery option, yet it still
failed on all attempts.
|
The logs for this run have expired and are no longer available.
Loading