leo/tests/compiler/mutability/circuit_variable_mut.leo

/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
*/

circuit Foo {
    x: u32
}

// Using let makes a circuit variable mutable.
function main(y: bool) -> bool{
    let a = Foo { x: 1 };
    a.x = 0;

    return a.x == 0u32 == y;
}
i8 + mutability 2021-05-03 17:28:53 +03:00			`/*`
			`namespace: Compile`
			`expectation: Pass`
function 2021-05-05 18:29:44 +03:00			`input_file: input/dummy.in`
i8 + mutability 2021-05-03 17:28:53 +03:00			`*/`

test mutable circuit variables 2020-09-03 04:01:47 +03:00			`circuit Foo {`
remove mut circuit variable definition 2020-12-01 19:54:51 +03:00			`x: u32`
test mutable circuit variables 2020-09-03 04:01:47 +03:00			`}`

i8 + mutability 2021-05-03 17:28:53 +03:00			`// Using let makes a circuit variable mutable.`
removes import tests, fix ci, add constraint number check, more tests 2021-05-13 16:56:17 +03:00			`function main(y: bool) -> bool{`
deprecate let mut, undeprecate const, let is now mutable by default 2021-03-18 22:19:07 +03:00			`let a = Foo { x: 1 };`
test mutable circuit variables 2020-09-03 04:01:47 +03:00			`a.x = 0;`

removes import tests, fix ci, add constraint number check, more tests 2021-05-13 16:56:17 +03:00			`return a.x == 0u32 == y;`
function 2021-05-05 18:29:44 +03:00			`}`