mirror of
https://github.com/bherbruck/solidcraft.git
synced 2026-11-03 02:25:55 +00:00
docs/kernel-cases.md: first full run of the kernel regression rig
372 cases. The default kernel passes 232. smlib reports "not supported yet" for every case until the SMLib boolean switch lands. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in: