Jadpo is experimental and not ready for production. These docs follow the compiler's main branch as of 30 Oct 2026. What's built · Install 0.1.0
jadpo
Reference: Testing

Testing · rule

test.assertion_failed

Test assertion does not hold.

Area 13, Testing; not declinable; the next step is usually the agent's.

An assert whose condition is false, or an assert … fails whose call returned or failed differently. Records are compared field by field:

example
test "a new draft has normal priority" {    var fresh: TodoDraft = draft("Buy milk")    assert fresh == TodoDraft {        title: "Buy milk"        priority: 2    }}
text
FAIL  a new draft has normal priority --> todos.test.jadpo:3  assert fresh == TodoDraft { ...         |        |         |        TodoDraft { title: "Buy milk", priority: 2 }         TodoDraft { title: "Buy milk", priority: 3 }  expected: TodoDraft { title: "Buy milk", priority: 2 }  actual: TodoDraft { title: "Buy milk", priority: 3 }  diff: ~ priority: expected 2, actual 3  rule: test.assertion_failed  rerun: jadpo test todos.test.jadpo:3 --seed 1test failed: 1 failed, 1 pure test

Markdown for agents: /docs/errors/test.assertion_failed.md.Built from Jadpo main at a707efb.