Docs/Overview/Documentation

LANGUAGE · VERIFIED

Functions

fn add(a: int, b: int) -> int {
    return a + b;
}

fn main() -> int {
    return add(10, 20);
}

Verified behavior

  • Typed parameters and return types
  • Function calls
  • Multiple functions in one program
  • Functions without an explicit return type in tested scenarios
  • Return values and tail expressions

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_func.avs
  • tests/examples/test_call.avs
  • tests/examples/test_two_fns.avs
  • tests/examples/test_return.avs