LANGUAGE · VERIFIED

Control Flow

if / else

if x > 5 {
    return 1;
} else {
    return 0;
}

loop

loop {
    if x > 10 {
        break;
    }
}

while

while x < 10 {
    x = x + 1;
}

break and continue

Both are verified inside loop contexts. Negative tests also verify that they are rejected outside loops.

Tail expressions

fn add(a: f64, b: f64) -> f64 {
    a + b
}

TRACEABILITY

Related Evidence

Audit evidence

These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.

tests/backend/if_expr.avs
tests/backend/loop.avs
tests/backend/while.avs
tests/examples/test_break.avs
tests/examples/test_continue_simple.avs
tests/examples/test_loop_return.avs