Check world (test F* + all subprojects) #443
Annotations
4 errors
|
|
|
fstar/lib/fstar/ulib/Prims.fst#L377
(19) * Error 19 at CommonUtils.fst(37,3-38,7):
- Assertion failed
- 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.
- See also /__w/FStar/FStar/fstar/lib/fstar/ulib/Prims.fst(377,38-377,57)
|
|
ExtraTactics.fst#L78
(72) * Error 72 at ExtraTactics.fst(78,13-78,23):
- Identifier not found: nth_binder
|
|
Hist.fst#L71
(19) * Error 19 at Hist.fst(71,13-71,21):
- Subtyping check failed
- Expected type wp: hist0 'a {hist_wp_monotonic wp}
got type
p: (_: Prims.list event_type -> Prims.pure_post 'a) ->
_: Prims.list event_type
-> 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