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

Update tests to use transition

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2022-10-03 14:56:14 -07:00
parent a886357585
commit e4bd8f8338
369 changed files with 593 additions and 1186 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
leo/package/src/source/main.rs
View File

@ -69,8 +69,7 @@ impl MainFile {
fn template(&self) -> String {
format!(
r#"// The '{}' main function.
@program
function main(public a: u32, b: u32) -> u32 {{
transition main(public a: u32, b: u32) -> u32 {{
let c: u32 = a + b;
return c;
}}

48
tests/compiler/additional_benches/big.leo
View File

@ -3,8 +3,7 @@ namespace: Bench
expectation: Pass
*/
@program
function hAgrPJzARlhWKDGNpe () -> i128 {
transition hAgrPJzARlhWKDGNpe () -> i128 {
const NtoD9dCOP8: bool = false;
if 60367u16 < 59376u16 && 291621465261548374864687596926221274642u128 <= 158647603833518715931164380862541000072u128 - 92087114510286551502623665863269979099u128 - 6505284705764791705801152244952567434u128 + 141283471013642106073249086828215491558u128 / 178739495978647499334333189200118397544u128 * 0u128 / 69358574294733597814948265413698301968u128 || 32532971286371518024146524900992744351u128 / 73930302096579937058701857000560614114u128 * 0u128 + 219449183973603283961254860147322285177u128 > 72259425234692696526333349807208361947u128 || 94519913150306783765596349821018468848i128 == -145523637561949662187440225436346186585i128 {
let LX0axUxSaI4wYW: u32 = NtoD9dCOP8? 1466599551u32 : 3962901758u32;
@ -159,8 +158,7 @@ function hAgrPJzARlhWKDGNpe () -> i128 {
return ILtBGr5IWbok66cGZo;
}
@program
function kIebmldut (
transition kIebmldut (
constant dS71uQ: i64,
constant Dj87fM: i8,
LOGkN2hgYa11hc9OJR: i16,
@ -183,8 +181,7 @@ function kIebmldut (
return dS71uQ;
}
@program
function zfUb (n1uGb8qYUbxVeMc: u8) -> field {
transition zfUb (n1uGb8qYUbxVeMc: u8) -> field {
const KGVaawVj_y8MuU: u32 = 3924454878u32;
let Rdg5wrR4uJy2GqrYJL: u64 = 11167188615068932487u64;
let Q7FUAT4MHL: i64 = -7490019510931038223i64;
@ -231,8 +228,7 @@ function zfUb (n1uGb8qYUbxVeMc: u8) -> field {
return WIRhzmLSHlgn;
}
@program
function ey1Y83xwKF4m (
transition ey1Y83xwKF4m (
constant WQQo: i64,
constant JzJ3bWUp5V5umYC8mLb: u16
) -> field {
@ -9122,8 +9118,7 @@ function ey1Y83xwKF4m (
}
}
@program
function WNIRQ5XU (
transition WNIRQ5XU (
Sao22ploN2: u16,
UAiLILX: u16,
C6nt1IySvY: u64,
@ -13281,8 +13276,7 @@ function WNIRQ5XU (
}
}
@program
function yKAI11uAlhAC0MKuVaQH (
transition yKAI11uAlhAC0MKuVaQH (
constant m3q_thgJckCDtZw5: bool,
constant dtIzYvZXAHLLq10L: u16,
constant qjD7kksFXCR074z: u64,
@ -13316,8 +13310,7 @@ function yKAI11uAlhAC0MKuVaQH (
return mO8ojODfy3e;
}
@program
function EFXa_yV (
transition EFXa_yV (
constant lKpXyYB: i16,
vekEtDz_FKl4w: field,
constant pkIJYefNRBK: i16,
@ -15008,8 +15001,7 @@ function EFXa_yV (
}
}
@program
function nxMY18LG (
transition nxMY18LG (
constant rv4FX2AtXtt: i128,
constant MyEqz3: u128,
yrTcsKyegVUFTCKXJU6: u16,
@ -29504,8 +29496,7 @@ function nxMY18LG (
}
}
@program
function ujkWfQ5r_1Yi (
transition ujkWfQ5r_1Yi (
XcnTSn5: bool,
UIgsv89hNR83neLpzYD: i128,
NiLblZRdDO7BxPw: i16,
@ -29539,8 +29530,7 @@ function ujkWfQ5r_1Yi (
return iVzW;
}
@program
function mRhFZzGYWFW3 () -> u16 {
transition mRhFZzGYWFW3 () -> u16 {
let It967SlNwbUzoY3v4iTL: u8 = 217u8;
It967SlNwbUzoY3v4iTL = It967SlNwbUzoY3v4iTL;
let ooC9znSzVmwewD2KL: u16 = 12887u16;
@ -29613,8 +29603,7 @@ function mRhFZzGYWFW3 () -> u16 {
return ooC9znSzVmwewD2KL;
}
@program
function ys4SGkFTY8T8t (
transition ys4SGkFTY8T8t (
constant VdZ1o3oai2nDE8: field,
constant fCskhvo4Zl155ClaZ: u64,
constant yerRb_jJNcZn: i16,
@ -29634,8 +29623,7 @@ function ys4SGkFTY8T8t (
return fCskhvo4Zl155ClaZ;
}
@program
function h0Eadw (
transition h0Eadw (
constant IkNFf7x4G3: u32,
sygZ: u128,
Cs4eXYBQraHMOQOn: i32,
@ -34188,8 +34176,7 @@ function h0Eadw (
return sygZ;
}
@program
function dz88xZBpyG7y9Q9yZS (
transition dz88xZBpyG7y9Q9yZS (
constant QDWdZ1P6Uxy: u8,
TxLtm4JHFtIxvMQqdXp: i64,
gQpPib: i8,
@ -35494,8 +35481,7 @@ function dz88xZBpyG7y9Q9yZS (
}
}
@program
function WAqDjVpXCNT8mVu () -> u64 {
transition WAqDjVpXCNT8mVu () -> u64 {
const g96iIWKOcZyNfysxQae: u16 = 45302u16;
let uayEuyji0EjFEjvUSFY: i128 = hAgrPJzARlhWKDGNpe();
const QjZVRc: i128 = 119686443574370410796442567182875671605i128;
@ -35636,8 +35622,7 @@ function WAqDjVpXCNT8mVu () -> u64 {
return IbtV5ITueWPb6mx9PG;
}
@program
function ed_5yepk9ZH7ESz4EfU (
transition ed_5yepk9ZH7ESz4EfU (
c7iEW8nfI4pcpTUIkmn: field,
m9g1DEE853bNFWWvV: u32,
constant Ci7s8gw: u64,
@ -44531,8 +44516,7 @@ function ed_5yepk9ZH7ESz4EfU (
}
}
@program
function main (constant QZe9: i128) -> i64 {
transition main (constant QZe9: i128) -> i64 {
if 18788u16 != 61211u16 && 33352u16 >= ujkWfQ5r_1Yi(false, QZe9, 14152i16, QZe9) {
let MYnKyRAZnaEo0Ngls7: u128 = 196095035652207868244240086789795221266u128;
const nRhA9m48W02Dfe1: field = 8322806129063410450915845331841134184888983847434366282340150759714483435037976593233187853826539553359712686432078944477402212974207791975185162929315253field;

3
tests/compiler/additional_benches/long_expr.leo
View File

@ -3,8 +3,7 @@ namespace: Bench
expectation: Pass
*/
@program
function main() -> u32 {
transition main() -> u32 {
const a = 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32;
const b = 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32;
const c = 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32 + 1u32;

579
tests/compiler/additional_benches/many_foos.leo
View File

@ -3,392 +3,199 @@ namespace: Bench
expectation: Pass
*/
@program
function main() -> u8 {
transition main() -> u8 {
return x191(0u32);
}
@program
function x0(val: u8) -> u8 { return val; }
@program
function x1(val: u8) -> u8 { return x0(val); }
@program
function x2(val: u8) -> u8 { return x1(val); }
@program
function x3(val: u8) -> u8 { return x2(val); }
@program
function x4(val: u8) -> u8 { return x3(val); }
@program
function x5(val: u8) -> u8 { return x4(val); }
@program
function x6(val: u8) -> u8 { return x5(val); }
@program
function x7(val: u8) -> u8 { return x6(val); }
@program
function x8(val: u8) -> u8 { return x7(val); }
@program
function x9(val: u8) -> u8 { return x8(val); }
@program
function x10(val: u8) -> u8 { return x9(val); }
@program
function x11(val: u8) -> u8 { return x10(val); }
@program
function x12(val: u8) -> u8 { return x11(val); }
@program
function x13(val: u8) -> u8 { return x12(val); }
@program
function x14(val: u8) -> u8 { return x13(val); }
@program
function x15(val: u8) -> u8 { return x14(val); }
@program
function x16(val: u8) -> u8 { return x15(val); }
@program
function x17(val: u8) -> u8 { return x16(val); }
@program
function x18(val: u8) -> u8 { return x17(val); }
@program
function x19(val: u8) -> u8 { return x18(val); }
@program
function x20(val: u8) -> u8 { return x19(val); }
@program
function x21(val: u8) -> u8 { return x20(val); }
@program
function x22(val: u8) -> u8 { return x21(val); }
@program
function x23(val: u8) -> u8 { return x22(val); }
@program
function x24(val: u8) -> u8 { return x23(val); }
@program
function x25(val: u8) -> u8 { return x24(val); }
@program
function x26(val: u8) -> u8 { return x25(val); }
@program
function x27(val: u8) -> u8 { return x26(val); }
@program
function x28(val: u8) -> u8 { return x27(val); }
@program
function x29(val: u8) -> u8 { return x28(val); }
@program
function x30(val: u8) -> u8 { return x29(val); }
@program
function x31(val: u8) -> u8 { return x30(val); }
@program
function x32(val: u8) -> u8 { return x31(val); }
@program
function x33(val: u8) -> u8 { return x32(val); }
@program
function x34(val: u8) -> u8 { return x33(val); }
@program
function x35(val: u8) -> u8 { return x34(val); }
@program
function x36(val: u8) -> u8 { return x35(val); }
@program
function x37(val: u8) -> u8 { return x36(val); }
@program
function x38(val: u8) -> u8 { return x37(val); }
@program
function x39(val: u8) -> u8 { return x38(val); }
@program
function x40(val: u8) -> u8 { return x39(val); }
@program
function x41(val: u8) -> u8 { return x40(val); }
@program
function x42(val: u8) -> u8 { return x41(val); }
@program
function x43(val: u8) -> u8 { return x42(val); }
@program
function x44(val: u8) -> u8 { return x43(val); }
@program
function x45(val: u8) -> u8 { return x44(val); }
@program
function x46(val: u8) -> u8 { return x45(val); }
@program
function x47(val: u8) -> u8 { return x46(val); }
@program
function x48(val: u8) -> u8 { return x47(val); }
@program
function x49(val: u8) -> u8 { return x48(val); }
@program
function x50(val: u8) -> u8 { return x49(val); }
@program
function x51(val: u8) -> u8 { return x50(val); }
@program
function x52(val: u8) -> u8 { return x51(val); }
@program
function x53(val: u8) -> u8 { return x52(val); }
@program
function x54(val: u8) -> u8 { return x53(val); }
@program
function x55(val: u8) -> u8 { return x54(val); }
@program
function x56(val: u8) -> u8 { return x55(val); }
@program
function x57(val: u8) -> u8 { return x56(val); }
@program
function x58(val: u8) -> u8 { return x57(val); }
@program
function x59(val: u8) -> u8 { return x58(val); }
@program
function x60(val: u8) -> u8 { return x59(val); }
@program
function x61(val: u8) -> u8 { return x60(val); }
@program
function x62(val: u8) -> u8 { return x61(val); }
@program
function x63(val: u8) -> u8 { return x62(val); }
@program
function x64(val: u8) -> u8 { return x63(val); }
@program
function x65(val: u8) -> u8 { return x64(val); }
@program
function x66(val: u8) -> u8 { return x65(val); }
@program
function x67(val: u8) -> u8 { return x66(val); }
@program
function x68(val: u8) -> u8 { return x67(val); }
@program
function x69(val: u8) -> u8 { return x68(val); }
@program
function x70(val: u8) -> u8 { return x69(val); }
@program
function x71(val: u8) -> u8 { return x70(val); }
@program
function x72(val: u8) -> u8 { return x71(val); }
@program
function x73(val: u8) -> u8 { return x72(val); }
@program
function x74(val: u8) -> u8 { return x73(val); }
@program
function x75(val: u8) -> u8 { return x74(val); }
@program
function x76(val: u8) -> u8 { return x75(val); }
@program
function x77(val: u8) -> u8 { return x76(val); }
@program
function x78(val: u8) -> u8 { return x77(val); }
@program
function x79(val: u8) -> u8 { return x78(val); }
@program
function x80(val: u8) -> u8 { return x79(val); }
@program
function x81(val: u8) -> u8 { return x80(val); }
@program
function x82(val: u8) -> u8 { return x81(val); }
@program
function x83(val: u8) -> u8 { return x82(val); }
@program
function x84(val: u8) -> u8 { return x83(val); }
@program
function x85(val: u8) -> u8 { return x84(val); }
@program
function x86(val: u8) -> u8 { return x85(val); }
@program
function x87(val: u8) -> u8 { return x86(val); }
@program
function x88(val: u8) -> u8 { return x87(val); }
@program
function x89(val: u8) -> u8 { return x88(val); }
@program
function x90(val: u8) -> u8 { return x89(val); }
@program
function x91(val: u8) -> u8 { return x90(val); }
@program
function x92(val: u8) -> u8 { return x91(val); }
@program
function x93(val: u8) -> u8 { return x92(val); }
@program
function x94(val: u8) -> u8 { return x93(val); }
@program
function x95(val: u8) -> u8 { return x94(val); }
@program
function x96(val: u8) -> u8 { return x95(val); }
@program
function x97(val: u8) -> u8 { return x96(val); }
@program
function x98(val: u8) -> u8 { return x97(val); }
@program
function x99(val: u8) -> u8 { return x98(val); }
@program
function x100(val: u8) -> u8 { return x99(val); }
@program
function x101(val: u8) -> u8 { return x100(val); }
@program
function x102(val: u8) -> u8 { return x101(val); }
@program
function x103(val: u8) -> u8 { return x102(val); }
@program
function x104(val: u8) -> u8 { return x103(val); }
@program
function x105(val: u8) -> u8 { return x104(val); }
@program
function x106(val: u8) -> u8 { return x105(val); }
@program
function x107(val: u8) -> u8 { return x106(val); }
@program
function x108(val: u8) -> u8 { return x107(val); }
@program
function x109(val: u8) -> u8 { return x108(val); }
@program
function x110(val: u8) -> u8 { return x109(val); }
@program
function x111(val: u8) -> u8 { return x110(val); }
@program
function x112(val: u8) -> u8 { return x111(val); }
@program
function x113(val: u8) -> u8 { return x112(val); }
@program
function x114(val: u8) -> u8 { return x113(val); }
@program
function x115(val: u8) -> u8 { return x114(val); }
@program
function x116(val: u8) -> u8 { return x115(val); }
@program
function x117(val: u8) -> u8 { return x116(val); }
@program
function x118(val: u8) -> u8 { return x117(val); }
@program
function x119(val: u8) -> u8 { return x118(val); }
@program
function x120(val: u8) -> u8 { return x119(val); }
@program
function x121(val: u8) -> u8 { return x120(val); }
@program
function x122(val: u8) -> u8 { return x121(val); }
@program
function x123(val: u8) -> u8 { return x122(val); }
@program
function x124(val: u8) -> u8 { return x123(val); }
@program
function x125(val: u8) -> u8 { return x124(val); }
@program
function x126(val: u8) -> u8 { return x125(val); }
@program
function x127(val: u8) -> u8 { return x126(val); }
@program
function x128(val: u8) -> u8 { return x127(val); }
@program
function x129(val: u8) -> u8 { return x128(val); }
@program
function x130(val: u8) -> u8 { return x129(val); }
@program
function x131(val: u8) -> u8 { return x130(val); }
@program
function x132(val: u8) -> u8 { return x131(val); }
@program
function x133(val: u8) -> u8 { return x132(val); }
@program
function x134(val: u8) -> u8 { return x133(val); }
@program
function x135(val: u8) -> u8 { return x134(val); }
@program
function x136(val: u8) -> u8 { return x135(val); }
@program
function x137(val: u8) -> u8 { return x136(val); }
@program
function x138(val: u8) -> u8 { return x137(val); }
@program
function x139(val: u8) -> u8 { return x138(val); }
@program
function x140(val: u8) -> u8 { return x139(val); }
@program
function x141(val: u8) -> u8 { return x140(val); }
@program
function x142(val: u8) -> u8 { return x141(val); }
@program
function x143(val: u8) -> u8 { return x142(val); }
@program
function x144(val: u8) -> u8 { return x143(val); }
@program
function x145(val: u8) -> u8 { return x144(val); }
@program
function x146(val: u8) -> u8 { return x145(val); }
@program
function x147(val: u8) -> u8 { return x146(val); }
@program
function x148(val: u8) -> u8 { return x147(val); }
@program
function x149(val: u8) -> u8 { return x148(val); }
@program
function x150(val: u8) -> u8 { return x149(val); }
@program
function x151(val: u8) -> u8 { return x150(val); }
@program
function x152(val: u8) -> u8 { return x151(val); }
@program
function x153(val: u8) -> u8 { return x152(val); }
@program
function x154(val: u8) -> u8 { return x153(val); }
@program
function x155(val: u8) -> u8 { return x154(val); }
@program
function x156(val: u8) -> u8 { return x155(val); }
@program
function x157(val: u8) -> u8 { return x156(val); }
@program
function x158(val: u8) -> u8 { return x157(val); }
@program
function x159(val: u8) -> u8 { return x158(val); }
@program
function x160(val: u8) -> u8 { return x159(val); }
@program
function x161(val: u8) -> u8 { return x160(val); }
@program
function x162(val: u8) -> u8 { return x161(val); }
@program
function x163(val: u8) -> u8 { return x162(val); }
@program
function x164(val: u8) -> u8 { return x163(val); }
@program
function x165(val: u8) -> u8 { return x164(val); }
@program
function x166(val: u8) -> u8 { return x165(val); }
@program
function x167(val: u8) -> u8 { return x166(val); }
@program
function x168(val: u8) -> u8 { return x167(val); }
@program
function x169(val: u8) -> u8 { return x168(val); }
@program
function x170(val: u8) -> u8 { return x169(val); }
@program
function x171(val: u8) -> u8 { return x170(val); }
@program
function x172(val: u8) -> u8 { return x171(val); }
@program
function x173(val: u8) -> u8 { return x172(val); }
@program
function x174(val: u8) -> u8 { return x173(val); }
@program
function x175(val: u8) -> u8 { return x174(val); }
@program
function x176(val: u8) -> u8 { return x175(val); }
@program
function x177(val: u8) -> u8 { return x176(val); }
@program
function x178(val: u8) -> u8 { return x177(val); }
@program
function x179(val: u8) -> u8 { return x178(val); }
@program
function x180(val: u8) -> u8 { return x179(val); }
@program
function x181(val: u8) -> u8 { return x180(val); }
@program
function x182(val: u8) -> u8 { return x181(val); }
@program
function x183(val: u8) -> u8 { return x182(val); }
@program
function x184(val: u8) -> u8 { return x183(val); }
@program
function x185(val: u8) -> u8 { return x184(val); }
@program
function x186(val: u8) -> u8 { return x185(val); }
@program
function x187(val: u8) -> u8 { return x186(val); }
@program
function x188(val: u8) -> u8 { return x187(val); }
@program
function x189(val: u8) -> u8 { return x188(val); }
@program
function x190(val: u8) -> u8 { return x189(val); }
@program
function x191(val: u8) -> u8 { return x190(val); }
transition x0(val: u8) -> u8 { return val; }
transition x1(val: u8) -> u8 { return x0(val); }
transition x2(val: u8) -> u8 { return x1(val); }
transition x3(val: u8) -> u8 { return x2(val); }
transition x4(val: u8) -> u8 { return x3(val); }
transition x5(val: u8) -> u8 { return x4(val); }
transition x6(val: u8) -> u8 { return x5(val); }
transition x7(val: u8) -> u8 { return x6(val); }
transition x8(val: u8) -> u8 { return x7(val); }
transition x9(val: u8) -> u8 { return x8(val); }
transition x10(val: u8) -> u8 { return x9(val); }
transition x11(val: u8) -> u8 { return x10(val); }
transition x12(val: u8) -> u8 { return x11(val); }
transition x13(val: u8) -> u8 { return x12(val); }
transition x14(val: u8) -> u8 { return x13(val); }
transition x15(val: u8) -> u8 { return x14(val); }
transition x16(val: u8) -> u8 { return x15(val); }
transition x17(val: u8) -> u8 { return x16(val); }
transition x18(val: u8) -> u8 { return x17(val); }
transition x19(val: u8) -> u8 { return x18(val); }
transition x20(val: u8) -> u8 { return x19(val); }
transition x21(val: u8) -> u8 { return x20(val); }
transition x22(val: u8) -> u8 { return x21(val); }
transition x23(val: u8) -> u8 { return x22(val); }
transition x24(val: u8) -> u8 { return x23(val); }
transition x25(val: u8) -> u8 { return x24(val); }
transition x26(val: u8) -> u8 { return x25(val); }
transition x27(val: u8) -> u8 { return x26(val); }
transition x28(val: u8) -> u8 { return x27(val); }
transition x29(val: u8) -> u8 { return x28(val); }
transition x30(val: u8) -> u8 { return x29(val); }
transition x31(val: u8) -> u8 { return x30(val); }
transition x32(val: u8) -> u8 { return x31(val); }
transition x33(val: u8) -> u8 { return x32(val); }
transition x34(val: u8) -> u8 { return x33(val); }
transition x35(val: u8) -> u8 { return x34(val); }
transition x36(val: u8) -> u8 { return x35(val); }
transition x37(val: u8) -> u8 { return x36(val); }
transition x38(val: u8) -> u8 { return x37(val); }
transition x39(val: u8) -> u8 { return x38(val); }
transition x40(val: u8) -> u8 { return x39(val); }
transition x41(val: u8) -> u8 { return x40(val); }
transition x42(val: u8) -> u8 { return x41(val); }
transition x43(val: u8) -> u8 { return x42(val); }
transition x44(val: u8) -> u8 { return x43(val); }
transition x45(val: u8) -> u8 { return x44(val); }
transition x46(val: u8) -> u8 { return x45(val); }
transition x47(val: u8) -> u8 { return x46(val); }
transition x48(val: u8) -> u8 { return x47(val); }
transition x49(val: u8) -> u8 { return x48(val); }
transition x50(val: u8) -> u8 { return x49(val); }
transition x51(val: u8) -> u8 { return x50(val); }
transition x52(val: u8) -> u8 { return x51(val); }
transition x53(val: u8) -> u8 { return x52(val); }
transition x54(val: u8) -> u8 { return x53(val); }
transition x55(val: u8) -> u8 { return x54(val); }
transition x56(val: u8) -> u8 { return x55(val); }
transition x57(val: u8) -> u8 { return x56(val); }
transition x58(val: u8) -> u8 { return x57(val); }
transition x59(val: u8) -> u8 { return x58(val); }
transition x60(val: u8) -> u8 { return x59(val); }
transition x61(val: u8) -> u8 { return x60(val); }
transition x62(val: u8) -> u8 { return x61(val); }
transition x63(val: u8) -> u8 { return x62(val); }
transition x64(val: u8) -> u8 { return x63(val); }
transition x65(val: u8) -> u8 { return x64(val); }
transition x66(val: u8) -> u8 { return x65(val); }
transition x67(val: u8) -> u8 { return x66(val); }
transition x68(val: u8) -> u8 { return x67(val); }
transition x69(val: u8) -> u8 { return x68(val); }
transition x70(val: u8) -> u8 { return x69(val); }
transition x71(val: u8) -> u8 { return x70(val); }
transition x72(val: u8) -> u8 { return x71(val); }
transition x73(val: u8) -> u8 { return x72(val); }
transition x74(val: u8) -> u8 { return x73(val); }
transition x75(val: u8) -> u8 { return x74(val); }
transition x76(val: u8) -> u8 { return x75(val); }
transition x77(val: u8) -> u8 { return x76(val); }
transition x78(val: u8) -> u8 { return x77(val); }
transition x79(val: u8) -> u8 { return x78(val); }
transition x80(val: u8) -> u8 { return x79(val); }
transition x81(val: u8) -> u8 { return x80(val); }
transition x82(val: u8) -> u8 { return x81(val); }
transition x83(val: u8) -> u8 { return x82(val); }
transition x84(val: u8) -> u8 { return x83(val); }
transition x85(val: u8) -> u8 { return x84(val); }
transition x86(val: u8) -> u8 { return x85(val); }
transition x87(val: u8) -> u8 { return x86(val); }
transition x88(val: u8) -> u8 { return x87(val); }
transition x89(val: u8) -> u8 { return x88(val); }
transition x90(val: u8) -> u8 { return x89(val); }
transition x91(val: u8) -> u8 { return x90(val); }
transition x92(val: u8) -> u8 { return x91(val); }
transition x93(val: u8) -> u8 { return x92(val); }
transition x94(val: u8) -> u8 { return x93(val); }
transition x95(val: u8) -> u8 { return x94(val); }
transition x96(val: u8) -> u8 { return x95(val); }
transition x97(val: u8) -> u8 { return x96(val); }
transition x98(val: u8) -> u8 { return x97(val); }
transition x99(val: u8) -> u8 { return x98(val); }
transition x100(val: u8) -> u8 { return x99(val); }
transition x101(val: u8) -> u8 { return x100(val); }
transition x102(val: u8) -> u8 { return x101(val); }
transition x103(val: u8) -> u8 { return x102(val); }
transition x104(val: u8) -> u8 { return x103(val); }
transition x105(val: u8) -> u8 { return x104(val); }
transition x106(val: u8) -> u8 { return x105(val); }
transition x107(val: u8) -> u8 { return x106(val); }
transition x108(val: u8) -> u8 { return x107(val); }
transition x109(val: u8) -> u8 { return x108(val); }
transition x110(val: u8) -> u8 { return x109(val); }
transition x111(val: u8) -> u8 { return x110(val); }
transition x112(val: u8) -> u8 { return x111(val); }
transition x113(val: u8) -> u8 { return x112(val); }
transition x114(val: u8) -> u8 { return x113(val); }
transition x115(val: u8) -> u8 { return x114(val); }
transition x116(val: u8) -> u8 { return x115(val); }
transition x117(val: u8) -> u8 { return x116(val); }
transition x118(val: u8) -> u8 { return x117(val); }
transition x119(val: u8) -> u8 { return x118(val); }
transition x120(val: u8) -> u8 { return x119(val); }
transition x121(val: u8) -> u8 { return x120(val); }
transition x122(val: u8) -> u8 { return x121(val); }
transition x123(val: u8) -> u8 { return x122(val); }
transition x124(val: u8) -> u8 { return x123(val); }
transition x125(val: u8) -> u8 { return x124(val); }
transition x126(val: u8) -> u8 { return x125(val); }
transition x127(val: u8) -> u8 { return x126(val); }
transition x128(val: u8) -> u8 { return x127(val); }
transition x129(val: u8) -> u8 { return x128(val); }
transition x130(val: u8) -> u8 { return x129(val); }
transition x131(val: u8) -> u8 { return x130(val); }
transition x132(val: u8) -> u8 { return x131(val); }
transition x133(val: u8) -> u8 { return x132(val); }
transition x134(val: u8) -> u8 { return x133(val); }
transition x135(val: u8) -> u8 { return x134(val); }
transition x136(val: u8) -> u8 { return x135(val); }
transition x137(val: u8) -> u8 { return x136(val); }
transition x138(val: u8) -> u8 { return x137(val); }
transition x139(val: u8) -> u8 { return x138(val); }
transition x140(val: u8) -> u8 { return x139(val); }
transition x141(val: u8) -> u8 { return x140(val); }
transition x142(val: u8) -> u8 { return x141(val); }
transition x143(val: u8) -> u8 { return x142(val); }
transition x144(val: u8) -> u8 { return x143(val); }
transition x145(val: u8) -> u8 { return x144(val); }
transition x146(val: u8) -> u8 { return x145(val); }
transition x147(val: u8) -> u8 { return x146(val); }
transition x148(val: u8) -> u8 { return x147(val); }
transition x149(val: u8) -> u8 { return x148(val); }
transition x150(val: u8) -> u8 { return x149(val); }
transition x151(val: u8) -> u8 { return x150(val); }
transition x152(val: u8) -> u8 { return x151(val); }
transition x153(val: u8) -> u8 { return x152(val); }
transition x154(val: u8) -> u8 { return x153(val); }
transition x155(val: u8) -> u8 { return x154(val); }
transition x156(val: u8) -> u8 { return x155(val); }
transition x157(val: u8) -> u8 { return x156(val); }
transition x158(val: u8) -> u8 { return x157(val); }
transition x159(val: u8) -> u8 { return x158(val); }
transition x160(val: u8) -> u8 { return x159(val); }
transition x161(val: u8) -> u8 { return x160(val); }
transition x162(val: u8) -> u8 { return x161(val); }
transition x163(val: u8) -> u8 { return x162(val); }
transition x164(val: u8) -> u8 { return x163(val); }
transition x165(val: u8) -> u8 { return x164(val); }
transition x166(val: u8) -> u8 { return x165(val); }
transition x167(val: u8) -> u8 { return x166(val); }
transition x168(val: u8) -> u8 { return x167(val); }
transition x169(val: u8) -> u8 { return x168(val); }
transition x170(val: u8) -> u8 { return x169(val); }
transition x171(val: u8) -> u8 { return x170(val); }
transition x172(val: u8) -> u8 { return x171(val); }
transition x173(val: u8) -> u8 { return x172(val); }
transition x174(val: u8) -> u8 { return x173(val); }
transition x175(val: u8) -> u8 { return x174(val); }
transition x176(val: u8) -> u8 { return x175(val); }
transition x177(val: u8) -> u8 { return x176(val); }
transition x178(val: u8) -> u8 { return x177(val); }
transition x179(val: u8) -> u8 { return x178(val); }
transition x180(val: u8) -> u8 { return x179(val); }
transition x181(val: u8) -> u8 { return x180(val); }
transition x182(val: u8) -> u8 { return x181(val); }
transition x183(val: u8) -> u8 { return x182(val); }
transition x184(val: u8) -> u8 { return x183(val); }
transition x185(val: u8) -> u8 { return x184(val); }
transition x186(val: u8) -> u8 { return x185(val); }
transition x187(val: u8) -> u8 { return x186(val); }
transition x188(val: u8) -> u8 { return x187(val); }
transition x189(val: u8) -> u8 { return x188(val); }
transition x190(val: u8) -> u8 { return x189(val); }
transition x191(val: u8) -> u8 { return x190(val); }

3
tests/compiler/address/binary.leo
View File

@ -5,8 +5,7 @@ input_file: inputs/address1.in
*/
@program
function main (x: address) -> bool {
transition main (x: address) -> bool {
let a: address = aleo1fj982yqchhy973kz7e9jk6er7t6qd6jm9anplnlprem507w6lv9spwvfxx;
let b: bool = x.eq(a);
let c: bool = x.neq(a);

3
tests/compiler/address/branch.leo
View File

@ -5,8 +5,7 @@ input_file: inputs/branch.in
*/
@program
function main (x: address, y: bool) -> bool {
transition main (x: address, y: bool) -> bool {
let z: address = aleo1fj982yqchhy973kz7e9jk6er7t6qd6jm9anplnlprem507w6lv9spwvfxx;
if y {
z = aleo16s003g206rjms5pm4ak48340f7y4z4dsskuqfrd2gvqz6umh2qfq7lajfp;

3
tests/compiler/address/equal.leo
View File

@ -5,8 +5,7 @@ input_file:
- inputs/address1.in
*/
@program
function main(x: address) -> bool {
transition main(x: address) -> bool {
const sender: address = aleo10qerras5799u6k7rjtc9y3hcwxuykr45qra7x7dp6jgnc0923czqm0lgta;
return x == sender;

3
tests/compiler/address/ternary.leo
View File

@ -6,8 +6,7 @@ input_file:
- inputs/address2.in
*/
@program
function main(x: address) -> bool {
transition main(x: address) -> bool {
const sender: address = aleo1l7ytv5jqjzpxtjqttl5z9mle8ujcpac9t6tkge5f4haah4pxas8sagzecd;
const receiver: address = aleo1dtpkpg3d653mdlzh6g028937qdgujecn5gw5tzh7ftcvyz7jxvfqw6t8p6;

3
tests/compiler/boolean/and.leo
View File

@ -8,7 +8,6 @@ input_file:
- inputs/true_true.in
*/
@program
function main(a: bool, b: bool) -> bool {
transition main(a: bool, b: bool) -> bool {
return a && b;
}

3
tests/compiler/boolean/conditional.leo
View File

@ -8,7 +8,6 @@ input_file:
- inputs/true_true.in
*/
@program
function main(a: bool, b: bool) -> bool {
transition main(a: bool, b: bool) -> bool {
return a ? b : false;
}

3
tests/compiler/boolean/equal.leo
View File

@ -8,7 +8,6 @@ input_file:
- inputs/true_true.in
*/
@program
function main(a: bool, b: bool) -> bool {
transition main(a: bool, b: bool) -> bool {
return a == b;
}

3
tests/compiler/boolean/not_equal.leo
View File

@ -8,7 +8,6 @@ input_file:
- inputs/true_true.in
*/
@program
function main(a: bool, b: bool) -> bool {
transition main(a: bool, b: bool) -> bool {
return a != b;
}

3
tests/compiler/boolean/operator_methods.leo
View File

@ -8,8 +8,7 @@ input_file:
- inputs/true_true.in
*/
@program
function main(a: bool, b: bool) -> bool {
transition main(a: bool, b: bool) -> bool {
// unary
let h: bool = a.not();

3
tests/compiler/boolean/or.leo
View File

@ -8,7 +8,6 @@ input_file:
- inputs/true_true.in
*/
@program
function main(a: bool, b: bool) -> bool {
transition main(a: bool, b: bool) -> bool {
return a || b;
}

3
tests/compiler/console/assert.leo
View File

@ -18,8 +18,7 @@ record Token {
}
@program
function main(a: bool, foo: Foo, token: Token) -> bool {
transition main(a: bool, foo: Foo, token: Token) -> bool {
console.assert_eq(a, true);
console.assert_neq(a, false);
console.assert(a);

3
tests/compiler/console/assert_fail.leo
View File

@ -5,8 +5,7 @@ input_file: inputs/true.in
*/
@program
function main(a: bool) -> bool {
transition main(a: bool) -> bool {
console.assert_eq(a == 1u8);
console.assert(1u8);

3
tests/compiler/core/algorithms/bhp1024_commit.leo
View File

@ -9,8 +9,7 @@ struct Foo {
b: u128,
}
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/bhp1024_hash.leo
View File

@ -9,8 +9,7 @@ struct Foo {
b: u128,
}
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/bhp256_commit.leo
View File

@ -9,8 +9,7 @@ struct Foo {
b: u128,
}
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/bhp256_hash.leo
View File

@ -9,8 +9,7 @@ struct Foo {
b: u128,
}
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/bhp512_commit.leo
View File

@ -9,8 +9,7 @@ struct Foo {
b: u128,
}
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/bhp512_hash.leo
View File

@ -9,8 +9,7 @@ struct Foo {
b: u128,
}
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/bhp768_commit.leo
View File

@ -9,8 +9,7 @@ struct Foo {
b: u128,
}
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/bhp768_hash.leo
View File

@ -9,8 +9,7 @@ struct Foo {
b: u128,
}
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/pedersen128_commit.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/int64.in
*/
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/pedersen128_hash.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/int64.in
*/
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/pedersen64_commit.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/int64.in
*/
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/pedersen64_hash.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/int64.in
*/
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/poseidon2_hash.leo
View File

@ -9,8 +9,7 @@ struct Foo {
b: u128,
}
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/poseidon4_hash.leo
View File

@ -9,8 +9,7 @@ struct Foo {
b: u128,
}
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/core/algorithms/poseidon8_hash.leo
View File

@ -9,8 +9,7 @@ struct Foo {
b: u128,
}
@program
function main(
transition main(
i8_value: i8,
i16_value: i16,
i32_value: i32,

3
tests/compiler/definition/out_of_order.leo
View File

@ -7,8 +7,7 @@ input_file: inputs/dummy.in
// @test
// function fake_test() {}
@program
function main(y: bool) -> bool {
transition main(y: bool) -> bool {
return y == true;
}

3
tests/compiler/field/add.leo
View File

@ -5,7 +5,6 @@ input_file:
- inputs/fields.in
*/
@program
function main(a: field, b: field, c: field) -> bool {
transition main(a: field, b: field, c: field) -> bool {
return a + b == c;
}

3
tests/compiler/field/div.leo
View File

@ -5,7 +5,6 @@ input_file:
- inputs/fields.in
*/
@program
function main(a: field, b: field, c: field) -> bool {
transition main(a: field, b: field, c: field) -> bool {
return a / b != c;
}

3
tests/compiler/field/eq.leo
View File

@ -5,7 +5,6 @@ input_file:
- inputs/fields.in
*/
@program
function main(a: field, b: field) -> bool {
transition main(a: field, b: field) -> bool {
return a == b;
}

3
tests/compiler/field/field.leo
View File

@ -5,8 +5,7 @@ input_file:
- inputs/fields.in
*/
@program
function main(a: field) -> bool {
transition main(a: field) -> bool {
const negOneField: field = -1field;
return negOneField + a == 0field;
}

3
tests/compiler/field/mul.leo
View File

@ -5,7 +5,6 @@ input_file:
- inputs/fields.in
*/
@program
function main(a: field, b: field, c: field) -> bool {
transition main(a: field, b: field, c: field) -> bool {
return a * b == c;
}

3
tests/compiler/field/negate.leo
View File

@ -5,7 +5,6 @@ input_file:
- inputs/fields.in
*/
@program
function main(a: field, b: field) -> bool {
transition main(a: field, b: field) -> bool {
return -a == -b;
}

3
tests/compiler/field/operator_methods.leo
View File

@ -5,8 +5,7 @@ input_file:
- inputs/fields.in
*/
@program
function main(a: field, b: field) -> bool {
transition main(a: field, b: field) -> bool {
// unary
let f: field = a.inv();
let g: field = a.neg();

3
tests/compiler/field/pow.leo
View File

@ -5,8 +5,7 @@ input_file:
- inputs/fields.in
*/
@program
function main(a: field) -> bool {
transition main(a: field) -> bool {
const negOneField: field = -1field;
return negOneField ** 2field == 1field;
}

3
tests/compiler/field/sub.leo
View File

@ -5,7 +5,6 @@ input_file:
- inputs/fields.in
*/
@program
function main(a: field, b: field, c: field) -> bool {
transition main(a: field, b: field, c: field) -> bool {
return a - b == c;
}

3
tests/compiler/field/ternary.leo
View File

@ -5,7 +5,6 @@ input_file:
- inputs/fields.in
*/
@program
function main(a: field, b: field, c: field) -> bool {
transition main(a: field, b: field, c: field) -> bool {
return b == 1field ? a == 1field : c == 2field;
}

3
tests/compiler/finalize/decrement.leo
View File

@ -5,8 +5,7 @@ expectation: Pass
mapping amounts: address => u128;
@program
function decrease_self(amount: u128) {
transition decrease_self(amount: u128) {
async finalize(self.caller, amount);
}

3
tests/compiler/finalize/decrement_incorrect_type.leo
View File

@ -12,8 +12,7 @@ record Token {
mapping amounts: address => u128;
mapping tokens: address => Token;
@program
function decrease_self(amount: u128) {
transition decrease_self(amount: u128) {
async finalize(self.caller, amount);
}

3
tests/compiler/finalize/empty_finalize_fail.leo
View File

@ -4,8 +4,7 @@ expectation: Fail
*/
@program
function mint_public(public receiver: address, public amount: u64) {
transition mint_public(public receiver: address, public amount: u64) {
async finalize(receiver, amount);
}

9
tests/compiler/finalize/finalize.leo
View File

@ -6,8 +6,7 @@ expectation: Pass
mapping account: address => u64;
mapping values: u8 => u8;
@program
function mint_public(public receiver: address, public amount: u64) {
transition mint_public(public receiver: address, public amount: u64) {
async finalize(receiver, amount);
}
@ -15,15 +14,13 @@ finalize mint_public (public receiver: address, public amount: u64) {
increment(account, receiver, amount);
}
@program
function public_adder(public a: u8, public b: u8) {
transition public_adder(public a: u8, public b: u8) {
async finalize(a, b);
} finalize public_adder(a: u8, b: u8) -> public u8 {
return a + b;
}
@program
function finalize_no_params() {
transition finalize_no_params() {
async finalize();
}

6
tests/compiler/finalize/finalize_incorrect_modes_fail.leo
View File

@ -5,8 +5,7 @@ expectation: Fail
mapping account: address => u64;
@program
function mint_public(public receiver: address, public amount: u64) {
transition mint_public(public receiver: address, public amount: u64) {
async finalize(receiver, amount);
}
@ -14,8 +13,7 @@ finalize mint_public (public receiver: address, constant amount: u64) -> constan
increment(account, receiver, amount);
}
@program
function mint_public2(public receiver: address, public amount: u64) {
transition mint_public2(public receiver: address, public amount: u64) {
async finalize(receiver, amount);
}

3
tests/compiler/finalize/finalize_incorrect_return_fail.leo
View File

@ -5,8 +5,7 @@ expectation: Fail
mapping account: address => u64;
@program
function mint_public(public receiver: address, public amount: u64) {
transition mint_public(public receiver: address, public amount: u64) {
async finalize(receiver, amount);
}

3
tests/compiler/finalize/finalize_missing_return_fail.leo
View File

@ -6,8 +6,7 @@ expectation: Fail
mapping account: address => u64;
@program
function mint_public(public receiver: address, public amount: u64) {
transition mint_public(public receiver: address, public amount: u64) {
async finalize(receiver, amount);
}

3
tests/compiler/finalize/finalize_name_mismatch_fail.leo
View File

@ -6,8 +6,7 @@ expectation: Fail
mapping account: address => u64;
mapping values: u8 => u8;
@program
function mint_public(public receiver: address, public amount: u64) {
transition mint_public(public receiver: address, public amount: u64) {
async finalize(receiver, amount);
}

3
tests/compiler/finalize/finalize_statement_incorrect_args_fail.leo
View File

@ -6,8 +6,7 @@ expectation: Fail
mapping account: address => u64;
@program
function mint_public(public receiver: address, public amount: u64) {
transition mint_public(public receiver: address, public amount: u64) {
async finalize(receiver, amount, amount);
}

3
tests/compiler/finalize/finalize_without_finalize_statement_fail.leo
View File

@ -5,8 +5,7 @@ expectation: Fail
mapping account: address => u64;
@program
function mint_public(public receiver: address, public amount: u64) {
transition mint_public(public receiver: address, public amount: u64) {
}

3
tests/compiler/finalize/increment.leo
View File

@ -5,8 +5,7 @@ expectation: Pass
mapping amounts: address => u128;
@program
function increase_self(amount: u128) {
transition increase_self(amount: u128) {
async finalize(self.caller, amount);
}

3
tests/compiler/finalize/increment_incorrect_type.leo
View File

@ -12,8 +12,7 @@ record Token {
mapping amounts: address => u128;
mapping tokens: address => Token;
@program
function increase_self(amount: u128) {
transition increase_self(amount: u128) {
async finalize(self.caller, amount);
}

9
tests/compiler/finalize/shadow_mapping_fail.leo
View File

@ -6,18 +6,15 @@ expectation: Fail
mapping bar: u8 => u8;
@program
function bar(a: u8) -> u8 {
transition bar(a: u8) -> u8 {
return a + 1u8;
}
@program
function foo(bar: u8) -> u8 {
transition foo(bar: u8) -> u8 {
return bar + 1u8;
}
@program
function baz(a: u8) -> u8 {
transition baz(a: u8) -> u8 {
let bar: u8 = a + 1u8;
return bar;
}

3
tests/compiler/function/conditional_return.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/integers.in
*/
@program
function main(a: u32) -> u32 {
transition main(a: u32) -> u32 {
if a == 2u32 {
return 3u32;
} else {

3
tests/compiler/function/flatten_test.leo
View File

@ -27,8 +27,7 @@ function win(b: Board, p: u8) -> bool {
(b.r1.e3 == p && b.r2.e2 == p && b.r3.e1 == p); // other diagonal
}
@program
function main(public player: u8, row: u8, col: u8, board: Board) -> (Board, u8) {
transition main(public player: u8, row: u8, col: u8, board: Board) -> (Board, u8) {
let updated: Board = board;
if row == 1u8 && col == 1u8 && updated.r1.e1 == 0u8 {
updated = Board {

3
tests/compiler/function/function_call.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/dummy.in
*/
@program
function main(a: u32, b: u32, y: bool) -> u32 {
transition main(a: u32, b: u32, y: bool) -> u32 {
if y {
return adder(a, b);
} else {

3
tests/compiler/function/helper_function_with_interface.leo
View File

@ -3,8 +3,7 @@ namespace: Compile
expectation: Pass
*/
@program
function main(public a: u32, b: u32) -> u32 {
transition main(public a: u32, b: u32) -> u32 {
let c: u32 = a + b;
return c;
}

3
tests/compiler/function/no_return.leo
View File

@ -3,5 +3,4 @@ namespace: Compile
expectation: Fail
*/
@program
function main() -> u8 {}
transition main() -> u8 {}

12
tests/compiler/function/program_function_any_number_of_inputs_and_outputs.leo
View File

@ -3,18 +3,14 @@ namespace: Compile
expectation: Pass
*/
@program
function foo0_to_0() {}
transition foo0_to_0() {}
@program
function foo0_to_1() -> u8 {
transition foo0_to_1() -> u8 {
return 1u8 + 1u8;
}
@program
function foo1_to_0(a: u8) {}
transition foo1_to_0(a: u8) {}
@program
function foo1_to_1(a: u8) -> u8 {
transition foo1_to_1(a: u8) -> u8 {
return a * a;
}

3
tests/compiler/function/program_function_empty_body.leo
View File

@ -3,5 +3,4 @@ namespace: Compile
expectation: Pass
*/
@program
function foo(a: u8, b: u8) {}
transition foo(a: u8, b: u8) {}

6
tests/compiler/function/program_function_no_constant_mode_fail.leo
View File

@ -4,10 +4,8 @@ expectation: Fail
*/
@program
function foo(constant a: u8) {}
transition foo(constant a: u8) {}
@program
function foo(a: u8) -> constant u8 {
transition foo(a: u8) -> constant u8 {
return a + a;
}

6
tests/compiler/function/program_function_unit_type.leo
View File

@ -3,8 +3,6 @@ namespace: Compile
expectation: Pass
*/
@program
function unit0(a: u8, b: u8) {}
transition unit0(a: u8, b: u8) {}
@program
function unit1(a: u8, b: u8) -> () {}
transition unit1(a: u8, b: u8) -> () {}

9
tests/compiler/function/program_function_with_mode.leo
View File

@ -3,20 +3,17 @@ namespace: Compile
expectation: Pass
*/
@program
function foo(a: u8, b: u8) -> public u8 {
transition foo(a: u8, b: u8) -> public u8 {
return a + b;
}
// TODO: Need to test private modifier when it is supported.
@program
function foo1(a: u8, b: u8) -> u8 {
transition foo1(a: u8, b: u8) -> u8 {
return a + b;
}
@program
function foo2(a: u8, public b: u8) -> public u8 {
transition foo2(a: u8, public b: u8) -> public u8 {
return a + b;
}

6
tests/compiler/function/record_in_conditional_return.leo
View File

@ -9,8 +9,7 @@ record Token {
amount: u64
}
@program
function mint_token(owner: address, amount: u64, password: field) -> Token {
transition 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);
@ -31,8 +30,7 @@ function mint_token(owner: address, amount: u64, password: field) -> Token {
}
}
@program
function mint_token2(owner: address, amount: u64, password: field) -> Token {
transition mint_token2(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);

3
tests/compiler/function/self.leo
View File

@ -3,8 +3,7 @@ namespace: Compile
expectation: Pass
*/
@program
function matches(addr: address) -> bool {
transition matches(addr: address) -> bool {
async finalize(self.caller);
return self.caller == addr;
} finalize matches(addr: address) -> bool {

3
tests/compiler/function/self_fail.leo
View File

@ -3,7 +3,6 @@ namespace: Compile
expectation: Fail
*/
@program
function matches(addr: address) -> bool {
transition matches(addr: address) -> bool {
return self.foo == addr;
}

6
tests/compiler/function/unknown_parameter_type_fail.leo
View File

@ -3,12 +3,10 @@ namespace: Compile
expectation: Fail
*/
@program
function main(a: u8, foo: Foo) -> u8 {
transition main(a: u8, foo: Foo) -> u8 {
return a;
}
@program
function returns_foo(a: u8) -> Foo {
transition returns_foo(a: u8) -> Foo {
return a;
}

3
tests/compiler/group/add.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/three.in
*/
@program
function main(a: group, b: group, c: group) -> bool {
transition main(a: group, b: group, c: group) -> bool {
console.assert(a + b == c);
return a + b == c;

3
tests/compiler/group/assert_eq.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/eq.in
*/
@program
function main(a: group, b: group) -> bool {
transition main(a: group, b: group) -> bool {
console.assert(a == b);
return a == b;
}

3
tests/compiler/group/eq.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/eq.in
*/
@program
function main(a: group, b: group) -> bool {
transition main(a: group, b: group) -> bool {
console.assert(a == b);
return a == b;
}

3
tests/compiler/group/group_mul.leo
View File

@ -5,8 +5,7 @@ input_file:
- inputs/scalar_group.in
*/
@program
function main(a: scalar, b: group, c: scalar) -> bool {
transition main(a: scalar, b: group, c: scalar) -> bool {
let d: group = 1817767092074430972953743941103352519057913259183777531581123188265134806220group * a;
let e: group = a * 1817767092074430972953743941103352519057913259183777531581123188265134806220group;
let f: group = b * a;

3
tests/compiler/group/input.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/dummy.in
*/
@program
function main(a: group, b: group) -> bool {
transition main(a: group, b: group) -> bool {
console.assert(a == b);
return a == b;
}

3
tests/compiler/group/mul.leo
View File

@ -5,7 +5,6 @@ input_file:
- inputs/scalar_group.in
*/
@program
function main(a: scalar, b: group) -> group {
transition main(a: scalar, b: group) -> group {
return a * b;
}

3
tests/compiler/group/mult_by_scalar.leo
View File

@ -4,7 +4,6 @@ expectation: Pass
input_file: inputs/point.in
*/
@program
function main(a: group) -> group {
transition main(a: group) -> group {
return 1scalar * a;
}

3
tests/compiler/group/negate.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/eq.in
*/
@program
function main(a: group, b: group) -> bool {
transition main(a: group, b: group) -> bool {
console.assert(-a == b);
return -a == b;

3
tests/compiler/group/operator_methods.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/three.in
*/
@program
function main(a: group, b: group) -> bool {
transition main(a: group, b: group) -> bool {
// unary
let e: group = a.double();
let g: group = a.neg();

3
tests/compiler/group/point_input.leo
View File

@ -4,7 +4,6 @@ expectation: Pass
input_file: inputs/point.in
*/
@program
function main(a: group) -> bool {
transition main(a: group) -> bool {
return a == (0, 1)group;
}

3
tests/compiler/group/sub.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/three.in
*/
@program
function main(a: group, b: group, c: group) -> bool {
transition main(a: group, b: group, c: group) -> bool {
console.assert(a - b == c);
return a - b == c;

3
tests/compiler/group/ternary.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/point.in
*/
@program
function main(a: group, b: group, c: group) -> bool {
transition main(a: group, b: group, c: group) -> bool {
const r: group = true ? a : b;
console.assert(r == c);

3
tests/compiler/group/x_and_y.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/scalar_group.in
*/
@program
function main(a: scalar) -> group {
transition main(a: scalar) -> group {
let b: group = (0, 1)group;
return a * b;

3
tests/compiler/group/x_sign_high.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/scalar_group.in
*/
@program
function main(a: scalar) -> group {
transition main(a: scalar) -> group {
let b: group = (0, +)group;
return a * b;

3
tests/compiler/group/x_sign_inferred.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/scalar_group.in
*/
@program
function main(a: scalar) -> group {
transition main(a: scalar) -> group {
let b: group = (0, _)group;
return a * b;

3
tests/compiler/group/x_sign_low.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/scalar_group.in
*/
@program
function main(a: scalar) -> group {
transition main(a: scalar) -> group {
let b: group = (0, -)group;
return a * b;

3
tests/compiler/group/zero.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/scalar_group.in
*/
@program
function main(a: scalar) -> group {
transition main(a: scalar) -> group {
let element: group = 0group;
return element * a;

3
tests/compiler/input/main.leo
View File

@ -4,7 +4,6 @@ expectation: Pass
input_file: inputs/main.in
*/
@program
function main(a: bool) -> bool {
transition main(a: bool) -> bool {
return a == true;
}

3
tests/compiler/input/main_field.leo
View File

@ -4,7 +4,6 @@ expectation: Pass
input_file: inputs/main_field.in
*/
@program
function main(a: field, b: field, y: bool) -> bool {
transition main(a: field, b: field, y: bool) -> bool {
return y == true && a == b;
}

3
tests/compiler/integers/i128/add.leo
View File

@ -4,7 +4,6 @@ expectation: Pass
input_file: inputs/add.in
*/
@program
function main(a: i128, b: i128, c: i128) -> bool {
transition main(a: i128, b: i128, c: i128) -> bool {
return a + b == c;
}

3
tests/compiler/integers/i128/and.leo
View File

@ -4,7 +4,6 @@ expectation: Pass
input_file: inputs/add.in
*/
@program
function main(a: i128, b: i128, c: i128) -> bool {
transition main(a: i128, b: i128, c: i128) -> bool {
return a & b == c;
}

3
tests/compiler/integers/i128/console_assert.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/eq.in
*/
@program
function main(a: i128, b: i128) -> bool {
transition main(a: i128, b: i128) -> bool {
let ret: bool = a == b;
console.assert(ret);
return ret;

3
tests/compiler/integers/i128/div.leo
View File

@ -4,7 +4,6 @@ expectation: Pass
input_file: inputs/div.in
*/
@program
function main(a: i128, b: i128, c: i128) -> bool {
transition main(a: i128, b: i128, c: i128) -> bool {
return a / b == c;
}

3
tests/compiler/integers/i128/eq.leo
View File

@ -4,7 +4,6 @@ expectation: Pass
input_file: inputs/eq.in
*/
@program
function main(a: i128, b: i128, c: bool) -> bool {
transition main(a: i128, b: i128, c: bool) -> bool {
return (a == b) == c;
}

3
tests/compiler/integers/i128/ge.leo
View File

@ -6,7 +6,6 @@ input_file:
- inputs/ge.in
*/
@program
function main(a: i128, b: i128, c: bool) -> bool {
transition main(a: i128, b: i128, c: bool) -> bool {
return a >= b == c;
}

3
tests/compiler/integers/i128/gt.leo
View File

@ -6,7 +6,6 @@ input_file:
- inputs/gt.in
*/
@program
function main(a: i128, b: i128, c: bool) -> bool {
transition main(a: i128, b: i128, c: bool) -> bool {
return a > b == c;
}

3
tests/compiler/integers/i128/le.leo
View File

@ -6,7 +6,6 @@ input_file:
- inputs/le.in
*/
@program
function main(a: i128, b: i128, c: bool) -> bool {
transition main(a: i128, b: i128, c: bool) -> bool {
return a <= b == c;
}

3
tests/compiler/integers/i128/lt.leo
View File

@ -6,7 +6,6 @@ input_file:
- inputs/lt.in
*/
@program
function main(a: i128, b: i128, c: bool) -> bool{
transition main(a: i128, b: i128, c: bool) -> bool{
return a < b == c;
}

3
tests/compiler/integers/i128/max.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/add.in
*/
@program
function main(a: i128) -> i128 {
transition main(a: i128) -> i128 {
let b: i128 = 170141183460469231731687303715884105727i128;
return b - a;
}

3
tests/compiler/integers/i128/min.leo
View File

@ -4,8 +4,7 @@ expectation: Pass
input_file: inputs/add.in
*/
@program
function main(a: i128) -> i128 {
transition main(a: i128) -> i128 {
let b: i128 = -170141183460469231731687303715884105727i128;
return b - a; // -170141183460469231731687303715884105728i128
}

3
tests/compiler/integers/i128/min_fail.leo
View File

@ -6,8 +6,7 @@ input_file: ../inputs/dummy.in
// TODO: This test passes, but constant propogation should detect an overflow.
@program
function main(y: bool) -> i128 {
transition main(y: bool) -> i128 {
let a: i128 = -170141183460469231731687303715884105727i128;
return a - 2i128; // This line attempts to return --170141183460469231731687303715884105729i128 however, the smallest i128 value is -170141183460469231731687303715884105728i128.

Some files were not shown because too many files have changed in this diff Show More