masi/solvecraft
1
0
Fork 0
mirror of https://github.com/bherbruck/solidcraft.git synced 2026-11-03 02:25:55 +00:00
Code Issues Packages Projects Releases 1 Wiki Activity

Rig: #316's renamed shell cases pass on solidcore, off its known-failing list

Browse Source 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MNXLXkZLQ6T7TSi4wswcmk
This commit is contained in:
brett19
2026-10-31 16:51:05 -07:00
parent 5dffd4f585
commit b04e363e73
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/kernel-cases/shell/KNOWN_FAILING.solidcore
-2
View File
@@ -1,6 +1,4 @@
# The shell cases that fail today on solidcore, one a line: `<case> <why it fails today>`. Sorted.
# The kernel rig gate fails on a case that fails and is not listed, and on a listed case that passes.
# Baseline: solidcore pin de85a3e00, tests/kernel-cases run by `cargo xtask kernel-cases`, x86_64 Linux.
316-shell-open-beside-a-bottom-round-r2-4-as-large-as-the-wall-refused [fail] succeeded where the case expects a refusal
316-shell-open-beside-a-bottom-round-r2-as-large-as-the-wall-refused [fail] succeeded where the case expects a refusal
cov-shell-again-open-at-an-inner-wall-of-a-shelled-box [fail] step 9 (solid.shell): SMLib shell: operation: SMLib failed (status 1001)