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:
bherbruck
2026-10-21 07:15:20 -04:00
committed by jyviko
parent c87bb72f0f
commit ae8809a4b4
+2181
View File
File diff suppressed because it is too large Load Diff