diff --git a/tests/parser/expression/binary/add.leo b/tests/parser/expression/binary/add.leo index 5b8489cb66..58762462ca 100644 --- a/tests/parser/expression/binary/add.leo +++ b/tests/parser/expression/binary/add.leo @@ -4,13 +4,20 @@ expectation: Pass */ 1u8 + 1u8 - 2u8+3u8 - 1u8 + 2u8 + 3u8 - 1u8 * 2u8 + 3u8 * 4u8 - 1u8 + 2u8 - 3u8 +1u8 * 2u8 + 3u8 * 4u8 - 5u8 * 6u8 -1u8 * 2u8 + 3u8 * 4u8 - 5u8 * 6u8 \ No newline at end of file +!-x.add(y) +x.add(y).add(y).add(y) +-x.add(y) +(-x).add(y) +-(x.add(y)) +(-x.add(y)).add(y) +!x.add(y) +(!x).add(y) +!(x.add(y)) +(!x.add(y)).add(y) +(x.add(y) + x.add(y)).add(x.add(y) + x.add(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/add_wrapped.leo b/tests/parser/expression/binary/add_wrapped.leo new file mode 100644 index 0000000000..d50c44a5f8 --- /dev/null +++ b/tests/parser/expression/binary/add_wrapped.leo @@ -0,0 +1,16 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +!-x.add_wrapped(y) +x.add_wrapped(y).add_wrapped(y).add_wrapped(y) +-x.add_wrapped(y) +(-x).add_wrapped(y) +-(x.add_wrapped(y)) +(-x.add_wrapped(y)).add_wrapped(y) +!x.add_wrapped(y) +(!x).add_wrapped(y) +!(x.add_wrapped(y)) +(!x.add_wrapped(y)).add_wrapped(y) +(x.add_wrapped(y) + x.add_wrapped(y)).add_wrapped(x.add_wrapped(y) + x.add_wrapped(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/and.leo b/tests/parser/expression/binary/and.leo index bc2fa9aaf3..7072d5bdc0 100644 --- a/tests/parser/expression/binary/and.leo +++ b/tests/parser/expression/binary/and.leo @@ -7,4 +7,16 @@ true && false false&&true -true&&false&&true \ No newline at end of file +true&&false&&true + +!-x.and(y) +x.and(y).and(y).and(y) +-x.and(y) +(-x).and(y) +-(x.and(y)) +(-x.and(y)).and(y) +!x.and(y) +(!x).and(y) +!(x.and(y)) +(!x.and(y)).and(y) +(x.and(y) + x.and(y)).and(x.and(y) + x.and(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/bit_and copy.leo b/tests/parser/expression/binary/bit_and copy.leo new file mode 100644 index 0000000000..f64a3810e7 --- /dev/null +++ b/tests/parser/expression/binary/bit_and copy.leo @@ -0,0 +1,28 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +1 & 1 + +2&3 + +1 & 2 & 3 + +1 == 2 & 3 == 4 + +1 & 2 & 3 + +1 == 2 & 3 == 4 & 5 == 6 + +!-x.and(y) +x.and(y).and(y).and(y) +-x.and(y) +(-x).and(y) +-(x.and(y)) +(-x.and(y)).and(y) +!x.and(y) +(!x).and(y) +!(x.and(y)) +(!x.and(y)).and(y) +(x.and(y) & x.and(y)).and(x.and(y) & x.and(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/bit_and.leo b/tests/parser/expression/binary/bit_and.leo new file mode 100644 index 0000000000..f64a3810e7 --- /dev/null +++ b/tests/parser/expression/binary/bit_and.leo @@ -0,0 +1,28 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +1 & 1 + +2&3 + +1 & 2 & 3 + +1 == 2 & 3 == 4 + +1 & 2 & 3 + +1 == 2 & 3 == 4 & 5 == 6 + +!-x.and(y) +x.and(y).and(y).and(y) +-x.and(y) +(-x).and(y) +-(x.and(y)) +(-x.and(y)).and(y) +!x.and(y) +(!x).and(y) +!(x.and(y)) +(!x.and(y)).and(y) +(x.and(y) & x.and(y)).and(x.and(y) & x.and(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/bit_and.leo.off b/tests/parser/expression/binary/bit_and.leo.off deleted file mode 100644 index 5f122c5c8c..0000000000 --- a/tests/parser/expression/binary/bit_and.leo.off +++ /dev/null @@ -1,16 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1 & 1 - -2&3 - -1 & 2 & 3 - -1 == 2 & 3 == 4 - -1 & 2 & 3 - -1 == 2 & 3 == 4 & 5 == 6 \ No newline at end of file diff --git a/tests/parser/expression/binary/bit_or.leo b/tests/parser/expression/binary/bit_or.leo new file mode 100644 index 0000000000..06862185c0 --- /dev/null +++ b/tests/parser/expression/binary/bit_or.leo @@ -0,0 +1,28 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +1 | 1 + +2|3 + +1 | 2 | 3 + +1 ^ 2 | 3 ^ 4 + +1 | 2 | 3 + +1 ^ 2 | 3 ^ 4 | 5 ^ 6 + +!-x.or(y) +x.or(y).or(y).or(y) +-x.or(y) +(-x).or(y) +-(x.or(y)) +(-x.or(y)).or(y) +!x.or(y) +(!x).or(y) +!(x.or(y)) +(!x.or(y)).or(y) +(x.or(y) | x.or(y)).or(x.or(y) | x.or(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/bit_or.leo.off b/tests/parser/expression/binary/bit_or.leo.off deleted file mode 100644 index afe99bc0f1..0000000000 --- a/tests/parser/expression/binary/bit_or.leo.off +++ /dev/null @@ -1,16 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1 | 1 - -2|3 - -1 | 2 | 3 - -1 ^ 2 | 3 ^ 4 - -1 | 2 | 3 - -1 ^ 2 | 3 ^ 4 | 5 ^ 6 \ No newline at end of file diff --git a/tests/parser/expression/binary/bit_xor.leo b/tests/parser/expression/binary/bit_xor.leo new file mode 100644 index 0000000000..f0d374d694 --- /dev/null +++ b/tests/parser/expression/binary/bit_xor.leo @@ -0,0 +1,28 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +1 ^ 1 + +2^3 + +1 ^ 2 ^ 3 + +1 & 2 ^ 3 & 4 + +1 ^ 2 ^ 3 + +1 & 2 ^ 3 & 4 ^ 5 & 6 + +!-x.xor(y) +x.xor(y).xor(y).xor(y) +-x.xor(y) +(-x).xor(y) +-(x.xor(y)) +(-x.xor(y)).xor(y) +!x.xor(y) +(!x).xor(y) +!(x.xor(y)) +(!x.xor(y)).xor(y) +(x.xor(y) ^ x.xor(y)).xor(x.xor(y) ^ x.xor(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/bit_xor.leo.off b/tests/parser/expression/binary/bit_xor.leo.off deleted file mode 100644 index 1bfb8df786..0000000000 --- a/tests/parser/expression/binary/bit_xor.leo.off +++ /dev/null @@ -1,16 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1 ^ 1 - -2^3 - -1 ^ 2 ^ 3 - -1 & 2 ^ 3 & 4 - -1 ^ 2 ^ 3 - -1 & 2 ^ 3 & 4 ^ 5 & 6 \ No newline at end of file diff --git a/tests/parser/expression/binary/div.leo b/tests/parser/expression/binary/div.leo index c4d82af45a..37211031e7 100644 --- a/tests/parser/expression/binary/div.leo +++ b/tests/parser/expression/binary/div.leo @@ -9,4 +9,16 @@ expectation: Pass 1u8 / 2u8 / 3u8 -1u8 ** 2u8 / 3u8 ** 4u8 \ No newline at end of file +1u8 ** 2u8 / 3u8 ** 4u8 + +!-x.div(y) +x.div(y).div(y).div(y) +-x.div(y) +(-x).div(y) +-(x.div(y)) +(-x.div(y)).div(y) +!x.div(y) +(!x).div(y) +!(x.div(y)) +(!x.div(y)).div(y) +(x.div(y) / x.div(y)).div(x.div(y) / x.div(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/div_wrapped.leo b/tests/parser/expression/binary/div_wrapped.leo new file mode 100644 index 0000000000..f9b7d75567 --- /dev/null +++ b/tests/parser/expression/binary/div_wrapped.leo @@ -0,0 +1,16 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +!-x.div(y) +x.div(y).div(y).div(y) +-x.div(y) +(-x).div(y) +-(x.div(y)) +(-x.div(y)).div(y) +!x.div(y) +(!x).div(y) +!(x.div(y)) +(!x.div(y)).div(y) +(x.div(y) / x.div(y)).div(x.div(y) / x.div(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/eq.leo b/tests/parser/expression/binary/eq.leo index f9cc00f6a7..9a043a4bf7 100644 --- a/tests/parser/expression/binary/eq.leo +++ b/tests/parser/expression/binary/eq.leo @@ -9,4 +9,16 @@ expectation: Pass 1u8 < 2u8 == 3u8 < 4u8 -1u8 < 2u8 == 3u8 < 4u8 && 3u8 < 4u8 == 5u8 < 6u8 \ No newline at end of file +1u8 < 2u8 == 3u8 < 4u8 && 3u8 < 4u8 == 5u8 < 6u8 + +!-x.eq(y) +x.eq(y).eq(y).eq(y) +-x.eq(y) +(-x).eq(y) +-(x.eq(y)) +(-x.eq(y)).eq(y) +!x.eq(y) +(!x).eq(y) +!(x.eq(y)) +(!x.eq(y)).eq(y) +(x.eq(y) == x.eq(y)).eq(x.eq(y) == x.eq(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/exp.leo b/tests/parser/expression/binary/exp.leo deleted file mode 100644 index 3b183955e2..0000000000 --- a/tests/parser/expression/binary/exp.leo +++ /dev/null @@ -1,11 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1u8 ** 1u8 - -2u8**3u8 - -1u8 ** 2u8 ** 3u8 - diff --git a/tests/parser/expression/binary/ge.leo b/tests/parser/expression/binary/ge.leo new file mode 100644 index 0000000000..4160720674 --- /dev/null +++ b/tests/parser/expression/binary/ge.leo @@ -0,0 +1,22 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +1u8 >= 1u8 + +2u8 >= 3u8 + +1u8 + 2u8 >= 3u8 + 4u8 + +!-x.ge(y) +x.ge(y).ge(y).ge(y) +-x.ge(y) +(-x).ge(y) +-(x.ge(y)) +(-x.ge(y)).ge(y) +!x.ge(y) +(!x).ge(y) +!(x.ge(y)) +(!x.ge(y)).ge(y) +(x.ge(y) >= x.ge(y)).ge(x.ge(y) >= x.ge(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/gte_fail.leo b/tests/parser/expression/binary/ge_fail.leo similarity index 100% rename from tests/parser/expression/binary/gte_fail.leo rename to tests/parser/expression/binary/ge_fail.leo diff --git a/tests/parser/expression/binary/gt.leo b/tests/parser/expression/binary/gt.leo index 3776372755..cb25b256fa 100644 --- a/tests/parser/expression/binary/gt.leo +++ b/tests/parser/expression/binary/gt.leo @@ -7,4 +7,16 @@ expectation: Pass 2u8>3u8 -1u8 + 2u8 > 3u8 + 4u8 \ No newline at end of file +1u8 + 2u8 > 3u8 + 4u8 + +!-x.gt(y) +x.gt(y).gt(y).gt(y) +-x.gt(y) +(-x).gt(y) +-(x.gt(y)) +(-x.gt(y)).gt(y) +!x.gt(y) +(!x).gt(y) +!(x.gt(y)) +(!x.gt(y)).gt(y) +(x.gt(y) > x.gt(y)).gt(x.gt(y) > x.gt(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/gt.leo.off b/tests/parser/expression/binary/gt.leo.off deleted file mode 100644 index d66b9bb7f0..0000000000 --- a/tests/parser/expression/binary/gt.leo.off +++ /dev/null @@ -1,16 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1 > 1 - -2>3 - -1 > 2 > 3 - -1 >> 2 > 3 >> 4 - -1 > 2 > 3 - -1 >> 2 > 3 >> 4 > 5 >> 6 \ No newline at end of file diff --git a/tests/parser/expression/binary/gte.leo b/tests/parser/expression/binary/gte.leo deleted file mode 100644 index dae7325d1f..0000000000 --- a/tests/parser/expression/binary/gte.leo +++ /dev/null @@ -1,10 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1u8 >= 1u8 - -2u8 >= 3u8 - -1u8 + 2u8 >= 3u8 + 4u8 \ No newline at end of file diff --git a/tests/parser/expression/binary/gte.leo.off b/tests/parser/expression/binary/gte.leo.off deleted file mode 100644 index 929b13fa40..0000000000 --- a/tests/parser/expression/binary/gte.leo.off +++ /dev/null @@ -1,16 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1 >= 1 - -2 >= 3 - -1 >= 2 >= 3 - -1 >> 2 >= 3 >> 4 - -1 >= 2 >= 3 - -1 >> 2 >= 3 >> 4 >= 5 >> 6 \ No newline at end of file diff --git a/tests/parser/expression/binary/le.leo b/tests/parser/expression/binary/le.leo new file mode 100644 index 0000000000..e24c7580e8 --- /dev/null +++ b/tests/parser/expression/binary/le.leo @@ -0,0 +1,22 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +1u8 <= 1u8 + +2u8 <= 3u8 + +1u8 + 2u8 <= 3u8 + 4u8 + +!-x.le(y) +x.le(y).le(y).le(y) +-x.le(y) +(-x).le(y) +-(x.le(y)) +(-x.le(y)).le(y) +!x.le(y) +(!x).le(y) +!(x.le(y)) +(!x.le(y)).le(y) +(x.le(y) <= x.le(y)).le(x.le(y) <= x.le(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/lte_fail.leo b/tests/parser/expression/binary/le_fail.leo similarity index 100% rename from tests/parser/expression/binary/lte_fail.leo rename to tests/parser/expression/binary/le_fail.leo diff --git a/tests/parser/expression/binary/lt.leo b/tests/parser/expression/binary/lt.leo index eff6f96acc..63dd8b6e77 100644 --- a/tests/parser/expression/binary/lt.leo +++ b/tests/parser/expression/binary/lt.leo @@ -7,4 +7,16 @@ expectation: Pass 2u8<3u8 -1u8 + 2u8 < 3u8 + 4u8 \ No newline at end of file +1u8 + 2u8 < 3u8 + 4u8 + +!-x.lt(y) +x.lt(y).lt(y).lt(y) +-x.lt(y) +(-x).lt(y) +-(x.lt(y)) +(-x.lt(y)).lt(y) +!x.lt(y) +(!x).lt(y) +!(x.lt(y)) +(!x.lt(y)).lt(y) +(x.lt(y) < x.lt(y)).lt(x.lt(y) < x.lt(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/lt.leo.off b/tests/parser/expression/binary/lt.leo.off deleted file mode 100644 index 7f74c3f2fc..0000000000 --- a/tests/parser/expression/binary/lt.leo.off +++ /dev/null @@ -1,16 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1 < 1 - -2<3 - -1 < 2 < 3 - -1 << 2 < 3 << 4 - -1 < 2 < 3 - -1 << 2 < 3 << 4 < 5 << 6 \ No newline at end of file diff --git a/tests/parser/expression/binary/lte.leo b/tests/parser/expression/binary/lte.leo deleted file mode 100644 index 6f044c5829..0000000000 --- a/tests/parser/expression/binary/lte.leo +++ /dev/null @@ -1,10 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1u8 <= 1u8 - -2u8 <= 3u8 - -1u8 + 2u8 <= 3u8 + 4u8 \ No newline at end of file diff --git a/tests/parser/expression/binary/lte.leo.off b/tests/parser/expression/binary/lte.leo.off deleted file mode 100644 index 611fb11cf4..0000000000 --- a/tests/parser/expression/binary/lte.leo.off +++ /dev/null @@ -1,16 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1 <= 1 - -2 <= 3 - -1 <= 2 <= 3 - -1 << 2 <= 3 << 4 - -1 <= 2 <= 3 - -1 << 2 <= 3 << 4 <= 5 << 6 \ No newline at end of file diff --git a/tests/parser/expression/binary/mod.leo.off b/tests/parser/expression/binary/mod.leo.off deleted file mode 100644 index f20d9fd262..0000000000 --- a/tests/parser/expression/binary/mod.leo.off +++ /dev/null @@ -1,14 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1 % 1 - -2%3 - -1 % 2 % 3 - -1 ** 2 % 3 ** 4 - -1 ** 2 % 3 ** 4 % 5 ** 6 \ No newline at end of file diff --git a/tests/parser/expression/binary/mul.leo b/tests/parser/expression/binary/mul.leo index dc07a6ffcb..b147afa3ca 100644 --- a/tests/parser/expression/binary/mul.leo +++ b/tests/parser/expression/binary/mul.leo @@ -11,4 +11,16 @@ expectation: Pass 1u8 ** 2u8 * 3u8 ** 4u8 -1u8 ** 2u8 * 3u8 ** 4u8 / 5u8 ** 6u8 \ No newline at end of file +1u8 ** 2u8 * 3u8 ** 4u8 / 5u8 ** 6u8 + +!-x.mul(y) +x.mul(y).mul(y).mul(y) +-x.mul(y) +(-x).mul(y) +-(x.mul(y)) +(-x.mul(y)).mul(y) +!x.mul(y) +(!x).mul(y) +!(x.mul(y)) +(!x.mul(y)).mul(y) +(x.mul(y) * x.mul(y)).mul(x.mul(y) * x.mul(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/mul_wrapped.leo b/tests/parser/expression/binary/mul_wrapped.leo new file mode 100644 index 0000000000..dfaaa0ba92 --- /dev/null +++ b/tests/parser/expression/binary/mul_wrapped.leo @@ -0,0 +1,16 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +!-x.mul_wrapped(y) +x.mul_wrapped(y).mul_wrapped(y).mul_wrapped(y) +-x.mul_wrapped(y) +(-x).mul_wrapped(y) +-(x.mul_wrapped(y)) +(-x.mul_wrapped(y)).mul_wrapped(y) +!x.mul_wrapped(y) +(!x).mul_wrapped(y) +!(x.mul_wrapped(y)) +(!x.mul_wrapped(y)).mul_wrapped(y) +(x.mul_wrapped(y) * x.mul_wrapped(y)).mul_wrapped(x.mul_wrapped(y) * x.mul_wrapped(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/nand.leo b/tests/parser/expression/binary/nand.leo new file mode 100644 index 0000000000..eb5db418d0 --- /dev/null +++ b/tests/parser/expression/binary/nand.leo @@ -0,0 +1,16 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +!-x.nand(y) +x.nand(y).nand(y).nand(y) +-x.nand(y) +(-x).nand(y) +-(x.nand(y)) +(-x.nand(y)).nand(y) +!x.nand(y) +(!x).nand(y) +!(x.nand(y)) +(!x.nand(y)).nand(y) +(x.nand(y) & x.nand(y)).nand(x.nand(y) & x.nand(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/ne.leo b/tests/parser/expression/binary/ne.leo deleted file mode 100644 index 37a09c8571..0000000000 --- a/tests/parser/expression/binary/ne.leo +++ /dev/null @@ -1,12 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1u8 != 1u8 - -2u8!=3u8 - -1u8 < 2u8 != 3u8 < 4u8 - -1u8 < 2u8 != 3u8 < 4u8 || 3u8 < 4u8 != 5u8 < 6u8 \ No newline at end of file diff --git a/tests/parser/expression/binary/neq.leo b/tests/parser/expression/binary/neq.leo new file mode 100644 index 0000000000..56c7608173 --- /dev/null +++ b/tests/parser/expression/binary/neq.leo @@ -0,0 +1,24 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +1u8 != 1u8 + +2u8!=3u8 + +1u8 < 2u8 != 3u8 < 4u8 + +1u8 < 2u8 != 3u8 < 4u8 || 3u8 < 4u8 != 5u8 < 6u8 + +!-x.neq(y) +x.neq(y).neq(y).neq(y) +-x.neq(y) +(-x).neq(y) +-(x.neq(y)) +(-x.neq(y)).neq(y) +!x.neq(y) +(!x).neq(y) +!(x.neq(y)) +(!x.neq(y)).neq(y) +(x.neq(y) != x.neq(y)).neq(x.neq(y) != x.neq(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/ne_fail.leo b/tests/parser/expression/binary/neq_fail.leo similarity index 100% rename from tests/parser/expression/binary/ne_fail.leo rename to tests/parser/expression/binary/neq_fail.leo diff --git a/tests/parser/expression/binary/nor.leo b/tests/parser/expression/binary/nor.leo new file mode 100644 index 0000000000..f67ddb0534 --- /dev/null +++ b/tests/parser/expression/binary/nor.leo @@ -0,0 +1,16 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +!-x.nor(y) +x.nor(y).nor(y).nor(y) +-x.nor(y) +(-x).nor(y) +-(x.nor(y)) +(-x.nor(y)).nor(y) +!x.nor(y) +(!x).nor(y) +!(x.nor(y)) +(!x.nor(y)).nor(y) +(x.nor(y) != x.nor(y)).nor(x.nor(y) != x.nor(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/or.leo b/tests/parser/expression/binary/or.leo index 7a9fcda22e..16586f49c7 100644 --- a/tests/parser/expression/binary/or.leo +++ b/tests/parser/expression/binary/or.leo @@ -3,14 +3,12 @@ namespace: ParseExpression expectation: Pass */ -1u8 + 1u8 +true || true -2u8+3u16 +false||true -1u8 + 2u8 + 3u8 +true||false || false -1u8 * 2u8 + 3u8 * 4u8 +true || false || true || false -1i8 + 2i8 - 3i8 - -1u8 * 2u8 + 3u8 * 4u8 - 5u8 * 6u8 \ No newline at end of file +true || (true || false) || true \ No newline at end of file diff --git a/tests/parser/expression/binary/pow.leo b/tests/parser/expression/binary/pow.leo new file mode 100644 index 0000000000..e59e5424e9 --- /dev/null +++ b/tests/parser/expression/binary/pow.leo @@ -0,0 +1,22 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +1u8 ** 1u8 + +2u8**3u8 + +1u8 ** 2u8 ** 3u8 + +!-x.pow(y) +x.pow(y).pow(y).pow(y) +-x.pow(y) +(-x).pow(y) +-(x.pow(y)) +(-x.pow(y)).pow(y) +!x.pow(y) +(!x).pow(y) +!(x.pow(y)) +(!x.pow(y)).pow(y) +(x.pow(y) ** x.pow(y)).pow(x.pow(y) ** x.pow(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/pow_wrapped.leo b/tests/parser/expression/binary/pow_wrapped.leo new file mode 100644 index 0000000000..9a4635df57 --- /dev/null +++ b/tests/parser/expression/binary/pow_wrapped.leo @@ -0,0 +1,16 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +!-x.pow_wrapped(y) +x.pow_wrapped(y).pow_wrapped(y).pow_wrapped(y) +-x.pow_wrapped(y) +(-x).pow_wrapped(y) +-(x.pow_wrapped(y)) +(-x.pow_wrapped(y)).pow_wrapped(y) +!x.pow_wrapped(y) +(!x).pow_wrapped(y) +!(x.pow_wrapped(y)) +(!x.pow_wrapped(y)).pow_wrapped(y) +(x.pow_wrapped(y) ** x.pow_wrapped(y)).pow_wrapped(x.pow_wrapped(y) ** x.pow_wrapped(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/shl.leo b/tests/parser/expression/binary/shl.leo new file mode 100644 index 0000000000..eb835dc926 --- /dev/null +++ b/tests/parser/expression/binary/shl.leo @@ -0,0 +1,28 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +1 << 1 + +2<<3 + +1 << 2 << 3 + +1 + 2 << 3 + 4 + +1 << 2 << 3 + +1 + 2 << 3 + 4 << 5 + 6 + +!-x.shl(y) +x.shl(y).shl(y).shl(y) +-x.shl(y) +(-x).shl(y) +-(x.shl(y)) +(-x.shl(y)).shl(y) +!x.shl(y) +(!x).shl(y) +!(x.shl(y)) +(!x.shl(y)).shl(y) +(x.shl(y) << x.shl(y)).shl(x.shl(y) << x.shl(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/shl.leo.off b/tests/parser/expression/binary/shl.leo.off deleted file mode 100644 index 0064ba91d8..0000000000 --- a/tests/parser/expression/binary/shl.leo.off +++ /dev/null @@ -1,16 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1 << 1 - -2<<3 - -1 << 2 << 3 - -1 + 2 << 3 + 4 - -1 << 2 << 3 - -1 + 2 << 3 + 4 << 5 + 6 \ No newline at end of file diff --git a/tests/parser/expression/binary/shl_wrapped.leo b/tests/parser/expression/binary/shl_wrapped.leo new file mode 100644 index 0000000000..a010f943c3 --- /dev/null +++ b/tests/parser/expression/binary/shl_wrapped.leo @@ -0,0 +1,16 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +!-x.shl_wrapped(y) +x.shl_wrapped(y).shl_wrapped(y).shl_wrapped(y) +-x.shl_wrapped(y) +(-x).shl_wrapped(y) +-(x.shl_wrapped(y)) +(-x.shl_wrapped(y)).shl_wrapped(y) +!x.shl_wrapped(y) +(!x).shl_wrapped(y) +!(x.shl_wrapped(y)) +(!x.shl_wrapped(y)).shl_wrapped(y) +(x.shl_wrapped(y) << x.shl_wrapped(y)).shl_wrapped(x.shl_wrapped(y) << x.shl_wrapped(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/shr.leo b/tests/parser/expression/binary/shr.leo new file mode 100644 index 0000000000..75dee386e9 --- /dev/null +++ b/tests/parser/expression/binary/shr.leo @@ -0,0 +1,28 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +1 >> 1 + +2>>3 + +1 >> 2 >> 3 + +1 + 2 >> 3 + 4 + +1 >> 2 >> 3 + +1 + 2 >> 3 + 4 >> 5 + 6 + +!-x.shr(y) +x.shr(y).shr(y).shr(y) +-x.shr(y) +(-x).shr(y) +-(x.shr(y)) +(-x.shr(y)).shr(y) +!x.shr(y) +(!x).shr(y) +!(x.shr(y)) +(!x.shr(y)).shr(y) +(x.shr(y) >> x.shr(y)).shr(x.shr(y) >> x.shr(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/shr.leo.off b/tests/parser/expression/binary/shr.leo.off deleted file mode 100644 index a02e84811b..0000000000 --- a/tests/parser/expression/binary/shr.leo.off +++ /dev/null @@ -1,16 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1 >> 1 - -2>>3 - -1 >> 2 >> 3 - -1 + 2 >> 3 + 4 - -1 >> 2 >> 3 - -1 + 2 >> 3 + 4 >> 5 + 6 \ No newline at end of file diff --git a/tests/parser/expression/binary/shr_signed.leo.off b/tests/parser/expression/binary/shr_signed.leo.off deleted file mode 100644 index 248e4d3bd4..0000000000 --- a/tests/parser/expression/binary/shr_signed.leo.off +++ /dev/null @@ -1,16 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -1 >>> 1 - -2>>>3 - -1 >>> 2 >>> 3 - -1 + 2 >>> 3 + 4 - -1 >>> 2 >>> 3 - -1 + 2 >>> 3 + 4 >>> 5 + 6 \ No newline at end of file diff --git a/tests/parser/expression/binary/shr_wrapped.leo b/tests/parser/expression/binary/shr_wrapped.leo new file mode 100644 index 0000000000..bd42d7ec37 --- /dev/null +++ b/tests/parser/expression/binary/shr_wrapped.leo @@ -0,0 +1,16 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +!-x.shr_wrapped(y) +x.shr_wrapped(y).shr_wrapped(y).shr_wrapped(y) +-x.shr_wrapped(y) +(-x).shr_wrapped(y) +-(x.shr_wrapped(y)) +(-x.shr_wrapped(y)).shr_wrapped(y) +!x.shr_wrapped(y) +(!x).shr_wrapped(y) +!(x.shr_wrapped(y)) +(!x.shr_wrapped(y)).shr_wrapped(y) +(x.shr_wrapped(y) >> x.shr_wrapped(y)).shr_wrapped(x.shr_wrapped(y) >> x.shr_wrapped(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/sub.leo b/tests/parser/expression/binary/sub.leo index 7f24cad11b..9ceb155574 100644 --- a/tests/parser/expression/binary/sub.leo +++ b/tests/parser/expression/binary/sub.leo @@ -9,4 +9,16 @@ expectation: Pass 1u32 - 2u32 - 3u32 -1u8 * 2u16 - 3u32 * 4i64 \ No newline at end of file +1u8 * 2u16 - 3u32 * 4i64 + +!-x.sub(y) +x.sub(y).sub(y).sub(y) +-x.sub(y) +(-x).sub(y) +-(x.sub(y)) +(-x.sub(y)).sub(y) +!x.sub(y) +(!x).sub(y) +!(x.sub(y)) +(!x.sub(y)).sub(y) +(x.sub(y) << x.sub(y)).sub(x.sub(y) << x.sub(y)) \ No newline at end of file diff --git a/tests/parser/expression/binary/sub_wrapped.leo b/tests/parser/expression/binary/sub_wrapped.leo new file mode 100644 index 0000000000..136eff14b1 --- /dev/null +++ b/tests/parser/expression/binary/sub_wrapped.leo @@ -0,0 +1,16 @@ +/* +namespace: ParseExpression +expectation: Pass +*/ + +!-x.sub_wrapped(y) +x.sub_wrapped(y).sub_wrapped(y).sub_wrapped(y) +-x.sub_wrapped(y) +(-x).sub_wrapped(y) +-(x.sub_wrapped(y)) +(-x.sub_wrapped(y)).sub_wrapped(y) +!x.sub_wrapped(y) +(!x).sub_wrapped(y) +!(x.sub_wrapped(y)) +(!x.sub_wrapped(y)).sub_wrapped(y) +(x.sub_wrapped(y) << x.sub_wrapped(y)).sub_wrapped(x.sub_wrapped(y) << x.sub_wrapped(y)) \ No newline at end of file diff --git a/tests/parser/expression/unary/not.leo b/tests/parser/expression/unary/not.leo index 32306ab5c8..b54b11168f 100644 --- a/tests/parser/expression/unary/not.leo +++ b/tests/parser/expression/unary/not.leo @@ -8,7 +8,7 @@ expectation: Pass !!x -!-xx.not() +!-x.not() x.not().not().not() -x.not() (-x).not() diff --git a/tests/parser/expression/unary/sqrt.leo b/tests/parser/expression/unary/sqrt.leo deleted file mode 100644 index 1f4e565b64..0000000000 --- a/tests/parser/expression/unary/sqrt.leo +++ /dev/null @@ -1,15 +0,0 @@ -/* -namespace: ParseExpression -expectation: Pass -*/ - -!-xx.sqrt() -x.sqrt().sqrt().sqrt() --x.sqrt() -(-x).sqrt() --(x.sqrt()) -(-x.sqrt()).sqrt() -!x.sqrt() -(!x).sqrt() -!(x.sqrt()) -(!x.sqrt()).sqrt() \ No newline at end of file diff --git a/tests/parser/expression/unary/square.leo b/tests/parser/expression/unary/square.leo index f63e4ab593..8d26d5a487 100644 --- a/tests/parser/expression/unary/square.leo +++ b/tests/parser/expression/unary/square.leo @@ -3,7 +3,7 @@ namespace: ParseExpression expectation: Pass */ -!-xx.square() +!-x.square() x.square().square().square() -x.square() (-x).square()