The following proof tests were excluded from the CI due to persistent failures:
tests/proofs/loops-spec.ktests/proofs/wrc20-spec.k
These tests were failing on the K dependency update PR #716 . To unblock the PR, they were temporarily excluded, but they need to be investigated and re-enabled once fixed.
The following proof tests were excluded from the CI due to persistent failures:
tests/proofs/loops-spec.ktests/proofs/wrc20-spec.kThese tests were failing on the K dependency update PR #716 . To unblock the PR, they were temporarily excluded, but they need to be investigated and re-enabled once fixed.