Nightly #87
nikswamyAnnotations
2 errors and 3 warnings
|
verify
Process completed with exit code 2.
|
|
verify:
CLRS.Ch02.InsertionSort.Rubric.fst#L289
(19) * Error 19 at CLRS.Ch02.InsertionSort.Rubric.fst(289,10-289,35):
- Failed to prove pure property: ‘SZ.v __vi4748 > 0’
- Assertion failed
|
|
verify
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
verify:
CLRS.Ch08.RadixSort.Spec.fst#L593
(349) * Warning 349 at CLRS.Ch08.RadixSort.Spec.fst(593,4-611,5):
- The verification condition succeeded after splitting it to localize
potential errors, although the original non-split verification condition
failed. If you want to rely on splitting queries for verifying your program
please use the '--split_queries always' option rather than relying on it
implicitly.
|
|
verify:
CLRS.Ch08.RadixSort.MultiDigit.fst#L794
(349) * Warning 349 at CLRS.Ch08.RadixSort.MultiDigit.fst(794,4-800,7):
- The verification condition succeeded after splitting it to localize
potential errors, although the original non-split verification condition
failed. If you want to rely on splitting queries for verifying your program
please use the '--split_queries always' option rather than relying on it
implicitly.
|