verifies

verifies

Section: the machine’s tests

Children

• test

Translations

• es: verifica
• fr: vérifieverifie
• en: verifies
• de: überprüft
• ja: 検証
• zh: 验证
• ko: 검증

Example — A simple decision

Checks an order total and decides whether it needs a human to look at it.

machine order_check
  accepts
    total as number, is required
  responds with
    approved as boolean
    reason as text
  implements
    decide review
      when input.total > 1000
        {approved: false, reason: "needs review"}
      otherwise
        {approved: true, reason: "auto approved"}
  verifies
    test "large orders need review"
      given {total: 5000}
      expect {approved: false}