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

add test

Browse Source
This commit is contained in:
Protryon 2021-02-02 18:42:00 -08:00
parent b078c6e09f
commit abee76680b
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/tests/boolean/conditional_mut.leo Normal file
View File

@ -0,0 +1,6 @@
function main () {
let mut x = true;
if x {
let y = 0u8;
}
}

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

@ -101,6 +101,14 @@ fn test_not_mutable() {
assert_satisfied(program);
}
#[test]
fn test_conditional_mut() {
let program_string = include_str!("conditional_mut.leo");
let program = parse_program(program_string).unwrap();
assert_satisfied(program);
}
#[test]
fn test_not_u32() {
let program_string = include_str!("not_u32.leo");