Check world (test F* + all subprojects) #74
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Test:
MemCpyModel.fst#L10
(285) * Warning 285 at MemCpyModel.fst(10,5-10,7):
- No modules in namespace ST and no file with that name either
|
|
Test:
TopLevelArray.fst#L7
(285) * Warning 285 at TopLevelArray.fst(7,5-7,7):
- No modules in namespace ST and no file with that name either
|
|
Test:
dummy#L1
(242) * Warning 242:
- Not extracting __proj__TAC__item__return to KaRaMeL
|
|
Test:
dummy#L1
(242) * Warning 242:
- Not extracting __proj__TAC__item__bind to KaRaMeL
|
|
Test:
dummy#L1
(250) * Warning 250:
- Error while extracting FStar.Tactics.NamedView.close_term_n to KaRaMeL.
- Failure("Internal error: name not found aux\n")
|
|
Test:
dummy#L1
(250) * Warning 250:
- Error while extracting LowStar.Monotonic.Buffer.mgcmalloc_of_list_partial to
KaRaMeL.
- Failure("Argument of FStar.Buffer.createL is not a list literal!")
|
|
Test:
dummy#L1
(250) * Warning 250:
- Error while extracting FStar.List.filter_map to KaRaMeL.
- Failure("Internal error: name not found filter_map_acc\n")
|
|
Test:
dummy#L1
(250) * Warning 250:
- Error while extracting FStar.List.index to KaRaMeL.
- Failure("Internal error: name not found index\n")
|
|
Test:
dummy#L1
(333) * Warning 333:
- Unable to open hints file: .hints/Rust2.fst.hints; ran without hints
|
|
Test:
dummy#L1
(333) * Warning 333:
- Unable to open hints file: .hints/Rust3.fst.hints; ran without hints
|
Loading