mirror of
https://github.com/bherbruck/solidcraft.git
synced 2026-11-07 12:31:56 +00:00
28b22658cf
Conflicts in xtask/src/kernel_cases.rs and xtask/src/main.rs: both the multi-backend runs (--kernel, --route) and develop's --known-failing regression gate are kept. The gate grades the SMLib side: --known-failing needs --kernel smlib (the default) or both, and is refused with --kernel solidcore. A gate run saves every backend's results.json and writes no report or side by side. Both report texts are merged; all tests from both sides are kept, plus one for the gate's option rule. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01SdcgExNEwfR9CX2RAzp2Pt