LANGUAGE · VERIFIED

Fundamentals

Core syntax confirmed by the current test audit.

Functions

fn main() -> int {
    return 42;
}

Variables

let x = 10;
x = x + 1;

Numeric values

let a: i64 = 10i64;
let b: f64 = 10.5;

Conditions

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

Evidence note: the current tests establish integer-valued conditions. They do not establish that every Boolean expression is accepted as an if condition.

Expression values

let result = if x > 0 {
    42
} else {
    0
};

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/examples/test_main.avs
tests/examples/test_assign.avs
tests/examples/test_if.avs
tests/backend/i64_literal.avs
tests/backend/decimal_numbers.avs