mirror of
https://github.com/bherbruck/solidcraft.git
synced 2026-11-08 13:01:52 +00:00
f8dba4f302
Resolved by #811's intent: run_cpp rejects, the Rust side is not run, same cases rejected. The decision is made by the shim from the built model (label plus back pointers) and returned as STATUS_UNDEFINED_INPUT, instead of difftest inspecting a -9 sentinel in the results. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011gJAwcLRBPQXYLmvXd3pWf