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:
test "a new draft has normal priority" { var fresh: TodoDraft = draft("Buy milk") assert fresh == TodoDraft { title: "Buy milk" priority: 2 }}
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.