2 posts tagged with "Compiler"

orb validate does not just check syntax. It walks the state machine graph and proves properties that would normally require dozens of hand-written tests. Closed circuits, emission contracts, binding validity, and pattern prop requirements — all checked before any code is generated.

orb validate proves structural properties. orb test goes further — it walks every edge of every state machine, fires every event from every state, and verifies that guards block and allow correctly. You write zero test code. The graph is the test plan.