002 mock multiple branches

✓ Passing This code compiles and runs correctly.

Code

// Test: Mock forces specific branch path (flow pruning)
//
// When an event has multiple branches, mocking forces ONE branch.
// This enables compile-time flow pruning - no switch statement needed.

import std/testing

// Event with multiple possible outcomes
tor withdraw { amount: u32 }
| success u32
| insufficient-funds
| account-locked

// Test: Mock forces success branch - verify the mocked value
test(Withdrawal succeeds when mocked) {
    withdraw => success 50
    withdraw(amount: 100)
    | success s |> assert(s == 50)
}

// Test: Mock forces failure branch (different branch same event)
// For empty branches, just assert true to confirm branch was taken
test(Withdrawal fails when funds insufficient) {
    withdraw => insufficient-funds
    withdraw(amount: 100)
    | insufficient-funds |> assert(true)
}

input.k

Flows

flow ~test click a branch to expand · @labels scroll to their anchor

test (Withdrawal succeeds when mocked, source: withdraw => success 50 withdraw(amount: 100) | success s |> assert(s == 50))

flow ~test click a branch to expand · @labels scroll to their anchor

test (Withdrawal fails when funds insufficient, source: withdraw => insufficient-funds withdraw(amount: 100) | insufficient-funds |> assert(true))

Test Configuration

Post-validation Script:

#!/bin/bash
# Run the actual Zig tests to verify multiple branch mocking works

cd "$(dirname "$0")"

# Run zig test on the generated output
zig test output_emitted.zig 2>&1
exit $?

← 001 test syntax 003 pure event no mock →