# The shell cases that fail today, one a line: `<case> <why it fails today>`. Sorted. The kernel
# rig gate (.github/workflows/kernel-rig.yml) fails on a case that fails and is not listed here,
# and on a listed case that passes: a fix removes its line in the same pull request.
# Baseline: 45f69c0e5 with SMLib 60b1c6a, aarch64 Linux.
316-shell-open-beside-a-bottom-round-r2-4-as-large-as-the-wall-refused builds a shell where the rim has no thickness instead of refusing it
316-shell-open-beside-a-bottom-round-r2-as-large-as-the-wall-refused builds a shell where the rim has no thickness instead of refusing it
cov-shell-again-open-at-an-inner-wall-of-a-shelled-box SMLib status 1001
