provekit_nargo_cli 1.0.0-beta.20-alpha.1

Noir's package manager
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

---
source: tooling/nargo_cli/tests/execute.rs
expression: expanded_code
---
fn main(x: Field) {
    assert(x == 1_Field);
    assert(1_Field == conditional(x != 0_Field));
}

fn conditional(x: bool) -> Field {
    assert(x, f"Expected x to be true but got {x}");
    assert(x == true, f"Expected x to be true but got {x}");
    1_Field
}