mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-27 20:24:52 +03:00
Add and regen tests
This commit is contained in:
parent
8af67e5242
commit
b43d8b318f
32
tests/compiler/function/record_in_conditional_return.leo
Normal file
32
tests/compiler/function/record_in_conditional_return.leo
Normal file
@ -0,0 +1,32 @@
|
||||
/*
|
||||
namespace: Compile
|
||||
expectation: Pass
|
||||
*/
|
||||
|
||||
record Token {
|
||||
owner: address,
|
||||
gates: u64,
|
||||
amount: u64
|
||||
}
|
||||
|
||||
@program
|
||||
function mint_token(owner: address, amount: u64, password: field) -> Token {
|
||||
// check if the password is correct
|
||||
let password_hash: field = 7202470996857839225873911078012225723419856133099120809866608931983814353616field;
|
||||
let password_hash_from_input: field = Poseidon2::hash(password);
|
||||
|
||||
if(password_hash == password_hash_from_input){
|
||||
return Token {
|
||||
owner: owner,
|
||||
gates: 0u64,
|
||||
amount: amount
|
||||
};
|
||||
}
|
||||
else {
|
||||
return Token {
|
||||
owner: owner,
|
||||
gates: 0u64,
|
||||
amount: 0u64
|
||||
};
|
||||
}
|
||||
}
|
@ -6,4 +6,4 @@ outputs:
|
||||
- initial_input_ast: no input
|
||||
initial_ast: 5c65976b4634ee0fbbad7377b00319b0c0e855c96bfbdd67239f374029116764
|
||||
unrolled_ast: 5c65976b4634ee0fbbad7377b00319b0c0e855c96bfbdd67239f374029116764
|
||||
ssa_ast: cf9355f637b6ad329e033542d428271e0f8c588dba0c58b8784f6e05752afbe3
|
||||
ssa_ast: 29a6602a013e6421ebb35cff04af3d09fe4a80690e7519fda97e4520152c0a9d
|
||||
|
@ -6,4 +6,4 @@ outputs:
|
||||
- initial_input_ast: 3ad7f9e1a4aa5edb8ab4cc1eb0d4baa189f8d388eb90565a269098cee9b06d3c
|
||||
initial_ast: 104350e2f6dda8259ba0a4d7328471cba029bca9fa76fe0e4776900662fdce6f
|
||||
unrolled_ast: 104350e2f6dda8259ba0a4d7328471cba029bca9fa76fe0e4776900662fdce6f
|
||||
ssa_ast: f09f67fe81c2e4626d324e34a1dcd4b4e661d4ed26b035c0f3e03b2e61a28d65
|
||||
ssa_ast: fcaa0f7cbdbeb27a1b915edddfbebd65bca2fc938c969e62a6cdea96ca7c4dfe
|
||||
|
@ -6,4 +6,4 @@ outputs:
|
||||
- initial_input_ast: 00ae278f2e47685455a873498a580f06abfcb7bae93cc5844c2616a7da7d03db
|
||||
initial_ast: c9e573f04eefae7c4769e23ef75e1b330fc728126ddfa82458f96e4677ee50a1
|
||||
unrolled_ast: c9e573f04eefae7c4769e23ef75e1b330fc728126ddfa82458f96e4677ee50a1
|
||||
ssa_ast: 48b0763cb65ae1c2740b346ba4ed326ed0b00a921fd5aaf1ab9f4e339834c1d1
|
||||
ssa_ast: cd41bc942fcb38a3065f8678e2a57beb0c9a445eda3abd55489c752a874ff3e6
|
||||
|
@ -0,0 +1,9 @@
|
||||
---
|
||||
namespace: Compile
|
||||
expectation: Pass
|
||||
outputs:
|
||||
- output:
|
||||
- initial_input_ast: no input
|
||||
initial_ast: 08e066d2f012e03b969dbbb64faea07edc08f419d9aa61e2e30d1c413e1c3614
|
||||
unrolled_ast: 08e066d2f012e03b969dbbb64faea07edc08f419d9aa61e2e30d1c413e1c3614
|
||||
ssa_ast: 26bff93f37a51d90a703b7e903c7ff6a4756c8afc768c02002e295f03993385f
|
@ -6,4 +6,4 @@ outputs:
|
||||
- initial_input_ast: no input
|
||||
initial_ast: 08f6c86c1678425452fb8cc9613a9307b132135400d14cf862a8f212bd328cf7
|
||||
unrolled_ast: 08f6c86c1678425452fb8cc9613a9307b132135400d14cf862a8f212bd328cf7
|
||||
ssa_ast: 3afafefd1792ceb9c6986f18ba24a29bcd5c047f0e217863ed8ef017403421bc
|
||||
ssa_ast: c341be1929e8d349a182445d049b9e714e75b33fbe85a33dd7b90408cbdb526f
|
||||
|
@ -6,4 +6,4 @@ outputs:
|
||||
- initial_input_ast: no input
|
||||
initial_ast: 8ba65e37aa7cafbe07ca66b746eb1d9f663d0c2d083a6a9a168ca96d0b706ca1
|
||||
unrolled_ast: 8ba65e37aa7cafbe07ca66b746eb1d9f663d0c2d083a6a9a168ca96d0b706ca1
|
||||
ssa_ast: 4acf70956276b2d7c7d8ea94e95d643e55376ce6ae280e4e2d501f68d1f17ae2
|
||||
ssa_ast: a6b0dae4b635d058f7047cf6238831f4323bfa787be37cbfdd4ee52d850b96b3
|
||||
|
@ -6,4 +6,4 @@ outputs:
|
||||
- initial_input_ast: no input
|
||||
initial_ast: 4c9190de88fefd0cd576a5567f42bc1ac4b4db466cbf26703d0226928ba3b593
|
||||
unrolled_ast: 4c9190de88fefd0cd576a5567f42bc1ac4b4db466cbf26703d0226928ba3b593
|
||||
ssa_ast: 92d7be4500a613181004cbd85d3b55428fc68916130b4d9d6764b580f36c182d
|
||||
ssa_ast: 813e653ac8122755b72c68207c874eb750e1b4f07cc0b408d5ed5a6688823ae4
|
||||
|
Loading…
Reference in New Issue
Block a user