Check world (test F* + all subprojects) #337
Annotations
10 warnings
|
Test:
dummy#L0
(321) * Warning 321:
- Did not expect module Steel.ST.C.Types.Scalar to be already checked.
- Found it in an unexpected location:
../../../lib/steel/c/Steel.ST.C.Types.Scalar.fsti.checked
instead of _cache/Steel.ST.C.Types.Scalar.fsti.checked
|
|
Test:
dummy#L0
(321) * Warning 321:
- Did not expect module Steel.ST.C.Types.Rewrite to be already checked.
- Found it in an unexpected location:
../../../lib/steel/c/Steel.ST.C.Types.Rewrite.fsti.checked
instead of _cache/Steel.ST.C.Types.Rewrite.fsti.checked
|
|
Test:
dummy#L0
(321) * Warning 321:
- Did not expect module Steel.C.Typestring to be already checked.
- Found it in an unexpected location:
../../../lib/steel/c/Steel.C.Typestring.fst.checked
instead of _cache/Steel.C.Typestring.fst.checked
|
|
Test:
dummy#L0
(321) * Warning 321:
- Did not expect module Steel.C.Typestring to be already checked.
- Found it in an unexpected location:
../../../lib/steel/c/Steel.C.Typestring.fsti.checked
instead of _cache/Steel.C.Typestring.fsti.checked
|
|
Test:
dummy#L0
(321) * Warning 321:
- Did not expect module Steel.ST.C.Types.Fields to be already checked.
- Found it in an unexpected location:
../../../lib/steel/c/Steel.ST.C.Types.Fields.fsti.checked
instead of _cache/Steel.ST.C.Types.Fields.fsti.checked
|
|
Test:
dummy#L0
(321) * Warning 321:
- Did not expect module Steel.C.Typenat to be already checked.
- Found it in an unexpected location:
../../../lib/steel/c/Steel.C.Typenat.fst.checked
instead of _cache/Steel.C.Typenat.fst.checked
|
|
Test:
dummy#L0
(321) * Warning 321:
- Did not expect module Steel.C.Typenat to be already checked.
- Found it in an unexpected location:
../../../lib/steel/c/Steel.C.Typenat.fsti.checked
instead of _cache/Steel.C.Typenat.fsti.checked
|
|
Test:
dummy#L0
(321) * Warning 321:
- Did not expect module Steel.ST.C.Types.Array to be already checked.
- Found it in an unexpected location:
../../../lib/steel/c/Steel.ST.C.Types.Array.fsti.checked
instead of _cache/Steel.ST.C.Types.Array.fsti.checked
|
|
Test:
dummy#L0
(321) * Warning 321:
- Did not expect module Steel.ST.C.Types.Struct.Aux to be already checked.
- Found it in an unexpected location:
../../../lib/steel/c/Steel.ST.C.Types.Struct.Aux.fsti.checked
instead of _cache/Steel.ST.C.Types.Struct.Aux.fsti.checked
|
|
Test:
dummy#L0
(321) * Warning 321:
- Did not expect module Steel.ST.C.Types.Base to be already checked.
- Found it in an unexpected location:
../../../lib/steel/c/Steel.ST.C.Types.Base.fsti.checked
instead of _cache/Steel.ST.C.Types.Base.fsti.checked
|
Loading