test

test

A named test case under verifies

Children

• given
• expect
• assuming

Translations

• es: prueba
• fr: test
• en: test
• de: Test
• 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}