ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-23 10:12:21 +03:00
Code Issues Packages Projects Releases Wiki Activity

more constraints checks

Browse Source
This commit is contained in:
damirka 2021-05-12 20:47:03 +03:00
parent cb2bd62ea9
commit e2492ba9e4
29 changed files with 168 additions and 154 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
compiler/tests/mod.rs
View File

@ -18,8 +18,11 @@
#![allow(deprecated)]
pub mod canonicalization;
// Test framework found in /tests/compiler
#[cfg(test)]
pub mod test;
pub mod canonicalization;
pub mod type_inference;
use leo_asg::{new_alloc_context, new_context, AsgContext};

5
tests/compiler/circuits/const_self_variable.leo
View File

@ -1,6 +1,7 @@
/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
*/
circuit Foo {
@ -11,8 +12,8 @@ circuit Foo {
}
}
function main() {
function main(y: bool) -> bool {
let f = Foo { a: 0u8 };
console.assert(1u8 == f.use_a());
return 1u8 == f.use_a() == true;
}

5
tests/compiler/circuits/duplicate_name_context.leo
View File

@ -1,6 +1,7 @@
/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
*/
circuit Bar {
@ -11,8 +12,10 @@ circuit Bar {
}
}
function main () {
function main(y: bool) -> bool {
const Bar = 66u32;
const k1 = Bar { b2: 30u32 };
const k2 = Bar::add_five(55u32);
return y == true;
}

6
tests/compiler/circuits/input/dummy.in Normal file
View File

@ -0,0 +1,6 @@
[main]
y: bool = true;
x: bool = false;
[registers]
r0: bool = true;

9
tests/compiler/circuits/member_function.leo
View File

@ -1,10 +1,7 @@
/*
namespace: Compile
expectation: Pass
inputs:
- member.in: |
[registers]
r0: bool = false;
input_file: input/dummy.in
*/
circuit Foo {
@ -15,8 +12,8 @@ circuit Foo {
}
}
function main() -> bool {
function main(y: bool) -> bool {
const a = Foo { x: 1u32 };
return a.echo() == 1u32;
return a.echo() == 1u32 == true;
}

9
tests/compiler/circuits/member_static_function.leo
View File

@ -1,10 +1,7 @@
/*
namespace: Compile
expectation: Pass
inputs:
- static.in: |
[registers]
r0: bool = false;
input_file: input/dummy.in
*/
circuit Foo {
@ -13,8 +10,8 @@ circuit Foo {
}
}
function main() -> bool {
function main(y: bool) -> bool {
const a = Foo::echo(1u32);
return a == 1u32;
return a == 1u32 == y;
}

5
tests/compiler/circuits/member_static_function_nested.leo
View File

@ -1,6 +1,7 @@
/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
*/
circuit Foo {
@ -15,6 +16,8 @@ circuit Foo {
}
}
function main() {
function main(y: bool) -> bool {
Foo::baz();
return y == true;
}

9
tests/compiler/circuits/member_variable.leo
View File

@ -1,18 +1,15 @@
/*
namespace: Compile
expectation: Pass
inputs:
- member.in: |
[registers]
r0: bool = false;
input_file: input/dummy.in
*/
circuit Foo {
x: u32,
}
function main() -> bool {
function main(y: bool) -> bool {
const a = Foo { x: 1u32 };
return a.x == 1u32;
return a.x == 1u32 == y;
}

9
tests/compiler/circuits/member_variable_and_function.leo
View File

@ -1,10 +1,7 @@
/*
namespace: Compile
expectation: Pass
inputs:
- member.in: |
[registers]
r0: bool = false;
input_file: input/dummy.in
*/
circuit Foo {
@ -15,9 +12,9 @@ circuit Foo {
}
}
function main() -> bool {
function main(y: bool) -> bool {
const a = Foo { foo: 1 };
const b = a.foo + Foo::bar();
return b == 2u32;
return b == 2u32 == y;
}

11
tests/compiler/circuits/mut_self_variable.leo
View File

@ -1,6 +1,7 @@
/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
*/
circuit Foo {
@ -8,20 +9,14 @@ circuit Foo {
function set_a(mut self, new: u8) {
self.a = new;
console.assert(self.a == new);
}
}
function main() {
function main(y: bool) -> bool {
let f = Foo { a: 0u8 };
console.assert(f.a == 0u8);
f.set_a(1u8);
console.assert(f.a == 1u8);
f.set_a(2u8);
console.assert(f.a == 2u8);
return f.a == 2u8 == y;
}

17
tests/compiler/circuits/mut_self_variable_branch.leo
View File

@ -1,6 +1,7 @@
/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
*/
circuit Foo {
@ -9,29 +10,17 @@ circuit Foo {
function set_a(mut self, condition: bool, new: u8) {
if condition {
self.a = new;
console.assert(self.a == new);
}
}
}
function main() {
function main(y: bool) -> bool {
let f = Foo { a: 0u8 };
console.assert(f.a == 0u8);
f.set_a(false, 1u8);
console.assert(f.a == 0u8);
f.set_a(true, 1u8);
console.assert(f.a == 1u8);
f.set_a(false, 2u8);
console.assert(f.a == 1u8);
f.set_a(true, 2u8);
console.assert(f.a == 2u8);
return f.a == 2u8 == y;
}

5
tests/compiler/circuits/mut_self_variable_conditional.leo
View File

@ -1,12 +1,15 @@
/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
*/
function main() {
function main(y: bool) -> bool {
let f = Foo { a: 0u32 };
f.bar();
return y == true;
}
circuit Foo {

10
tests/compiler/circuits/mut_variable.leo
View File

@ -1,22 +1,18 @@
/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
*/
circuit Foo {
a: u8;
}
function main() {
function main(y: bool) -> bool {
let f = Foo { a: 0u8 };
console.assert(f.a == 0u8);
f.a = 1u8;
console.assert(f.a == 1u8);
f.a = 2u8;
console.assert(f.a == 2u8);
return f.a == 2u8 == true;
}

7
tests/compiler/circuits/mutable_call_immutable_context.leo
View File

@ -1,6 +1,7 @@
/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
*/
circuit TestMe {
@ -20,11 +21,9 @@ function my_fn() -> TestMe {
return TestMe { x: 0u8 };
}
function main () {
function main(y: bool) -> bool {
const t = TestMe {x: 6u8}.test_me();
console.assert(t == 7u8);
const u = my_fn().test_me();
console.assert(u == 1u8);
const v = TestMe::new().test_me();
console.assert(v == 2u8);
return v == 2u8 == y;
}

2
tests/compiler/circuits/self_circuit.leo
View File

@ -12,4 +12,4 @@ circuit Foo {
function main() {
const a = Foo::new();
}
}

7
tests/compiler/circuits/self_member.leo
View File

@ -1,6 +1,7 @@
/*
namespace: Compile
expectation: Pass
input_file: input/dummy.in
*/
circuit Foo {
@ -11,9 +12,9 @@ circuit Foo {
}
}
function main() {
function main(y: bool) -> bool {
const a = Foo { f: 1u32 };
const b = a.bar();
console.assert(b == 1u32);
}
return b == 1u32 == y;
}

17
tests/expectations/compiler/compiler/circuits/const_self_variable.leo.out
View File

@ -4,12 +4,15 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: empty
- input_file: input/dummy.in
output:
registers: {}
registers:
r0:
type: bool
value: "true"

17
tests/expectations/compiler/compiler/circuits/duplicate_name_context.leo.out
View File

@ -4,12 +4,15 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: empty
- input_file: input/dummy.in
output:
registers: {}
registers:
r0:
type: bool
value: "true"

12
tests/expectations/compiler/compiler/circuits/member_function.leo.out
View File

@ -4,13 +4,13 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: member.in
- input_file: input/dummy.in
output:
registers:
r0:

12
tests/expectations/compiler/compiler/circuits/member_static_function.leo.out
View File

@ -4,13 +4,13 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: static.in
- input_file: input/dummy.in
output:
registers:
r0:

17
tests/expectations/compiler/compiler/circuits/member_static_function_nested.leo.out
View File

@ -4,12 +4,15 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: empty
- input_file: input/dummy.in
output:
registers: {}
registers:
r0:
type: bool
value: "true"

12
tests/expectations/compiler/compiler/circuits/member_variable.leo.out
View File

@ -4,13 +4,13 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: member.in
- input_file: input/dummy.in
output:
registers:
r0:

12
tests/expectations/compiler/compiler/circuits/member_variable_and_function.leo.out
View File

@ -4,13 +4,13 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: member.in
- input_file: input/dummy.in
output:
registers:
r0:

17
tests/expectations/compiler/compiler/circuits/mut_self_variable.leo.out
View File

@ -4,12 +4,15 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: empty
- input_file: input/dummy.in
output:
registers: {}
registers:
r0:
type: bool
value: "true"

17
tests/expectations/compiler/compiler/circuits/mut_self_variable_branch.leo.out
View File

@ -4,12 +4,15 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: empty
- input_file: input/dummy.in
output:
registers: {}
registers:
r0:
type: bool
value: "true"

17
tests/expectations/compiler/compiler/circuits/mut_self_variable_conditional.leo.out
View File

@ -4,12 +4,15 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: empty
- input_file: input/dummy.in
output:
registers: {}
registers:
r0:
type: bool
value: "true"

17
tests/expectations/compiler/compiler/circuits/mut_variable.leo.out
View File

@ -4,12 +4,15 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: empty
- input_file: input/dummy.in
output:
registers: {}
registers:
r0:
type: bool
value: "true"

17
tests/expectations/compiler/compiler/circuits/mutable_call_immutable_context.leo.out
View File

@ -4,12 +4,15 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: empty
- input_file: input/dummy.in
output:
registers: {}
registers:
r0:
type: bool
value: "true"

17
tests/expectations/compiler/compiler/circuits/self_member.leo.out
View File

@ -4,12 +4,15 @@ expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 0
num_constraints: 0
at: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
bt: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
ct: 4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: empty
- input_file: input/dummy.in
output:
registers: {}
registers:
r0:
type: bool
value: "true"