ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-22 11:17:37 +03:00
Code Issues Packages Projects Releases Wiki Activity

add test for nested mutable value

Browse Source
This commit is contained in:
collin 2020-12-02 12:31:51 -05:00
parent 1217e9860e
commit 4cb07d5cd3
2 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
compiler/tests/mutability/let_mut_nested.leo Normal file
View File

@ -0,0 +1,5 @@
function main () {
let mut x = 2u8;
let mut y = x;
let z = y / 2u8;
}

8
compiler/tests/mutability/mod.rs
View File

@ -33,6 +33,14 @@ fn test_let_mut() {
assert_satisfied(program);
}
#[test]
fn test_let_mut_nested() {
let bytes = include_bytes!("let_mut_nested.leo");
let program = parse_program(bytes).unwrap();
assert_satisfied(program);
}
#[test]
fn test_const_fail() {
let bytes = include_bytes!("const.leo");