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

Fix some tests

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2022-08-10 09:27:50 -07:00
parent 2a34d31d33
commit 566d239153
10 changed files with 30 additions and 35 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tests/compiler/integers/i128/negate_min_fail.leo
View File

@ -8,8 +8,7 @@ input_file: ../inputs/dummy.in
@program
function main(y: bool) -> i128 {
let a: i128 = -170141183460469231731687303715884105727i128;
let b: i128 = a - 1i128;
let a: i128 = -170141183460469231731687303715884105728i128;
return -b; // This line attempts to return 170141183460469231731687303715884105728i128 however, the largest i128 value is 170141183460469231731687303715884105727i128.
return -a; // This line attempts to return 170141183460469231731687303715884105728i128 however, the largest i128 value is 170141183460469231731687303715884105727i128.
}

5
tests/compiler/integers/i16/negate_min_fail.leo
View File

@ -8,8 +8,7 @@ input_file: ../inputs/dummy.in
@program
function main(y: bool) -> i16 {
let a: i16 = -32767i16;
let b: i16 = a - 1i16;
let a: i16 = -32768i16;
return -b; // This line attempts to return 32768i16 however, the largest i16 value is 32767i16.
return -a; // This line attempts to return 32768i16 however, the largest i16 value is 32767i16.
}

5
tests/compiler/integers/i32/negate_min_fail.leo
View File

@ -8,8 +8,7 @@ input_file: ../inputs/dummy.in
@program
function main(y: bool) -> i32 {
let a: i32 = -2147483647i32;
let b: i32 = a - 1i32;
let a: i32 = -2147483648i32;
return -b; // This line attempts to return 2147483648i32 however, the largest i32 value is 2147483647i32.
return -a; // This line attempts to return 2147483648i32 however, the largest i32 value is 2147483647i32.
}

5
tests/compiler/integers/i64/negate_min_fail.leo
View File

@ -8,8 +8,7 @@ input_file: ../inputs/dummy.in
@program
function main(y: bool) -> i64 {
let a: i64 = -9223372036854775807i64;
let b: i64 = a - 1i64;
let a: i64 = -9223372036854775808i64;
return -b; // This line attempts to return 9223372036854775808i64 however, the largest i64 value is 9223372036854775807i64.
return -a; // This line attempts to return 9223372036854775808i64 however, the largest i64 value is 9223372036854775807i64.
}

5
tests/compiler/integers/i8/negate_min_fail.leo
View File

@ -8,8 +8,7 @@ input_file: ../inputs/dummy.in
@program
function main(y: bool) -> i8 {
let a: i8 = -127i8;
let b: i8 = a - 1i8;
let a: i8 = -128i8;
return -b; // This line attempts to return 128i8 however, the largest i8 value is 127i8.
return -a; // This line attempts to return 128i8 however, the largest i8 value is 127i8.
}

8
tests/expectations/compiler/integers/i128/negate_min_fail.out
View File

@ -3,7 +3,7 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: cc445b61155a660fbbd967b7736f50f07a9f5a139143a7f486b80eca2aaa29f2
initial_ast: 805299a00fb71e9fb1d001b4a9706e58965a8aeb3189b269021e1d28d4aa4039
unrolled_ast: 805299a00fb71e9fb1d001b4a9706e58965a8aeb3189b269021e1d28d4aa4039
ssa_ast: 84c94b86325af97e2fc4e2ba2fd959e2ecaa4500249935d1e08b074a588a8e40
- initial_input_ast: bebb28a7f8a3f608d135f8e25ddff07a36e01448741c59b662c8d6f98a7f302c
initial_ast: 274c41a99717c990553f9f21404ef3fa78a992e81d8db0b9c866be2b1365add9
unrolled_ast: 274c41a99717c990553f9f21404ef3fa78a992e81d8db0b9c866be2b1365add9
ssa_ast: ae4a25d296a61714c14209db27c3e9da80c3f9af2b5f0bba0a3cfadf6f8c82cc

8
tests/expectations/compiler/integers/i16/negate_min_fail.out
View File

@ -3,7 +3,7 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 6b4cdfe5abc1c4ee9ebc7c514658f87e6c179a03a18a7d9249849c1fdff20e39
initial_ast: 0440d94eecc9c17b787fe02d2adce7e59ec555b3757abccb69d052fa9c45366a
unrolled_ast: 0440d94eecc9c17b787fe02d2adce7e59ec555b3757abccb69d052fa9c45366a
ssa_ast: 0e509b5959c4db25344bdc086628e149390fdb2640cd369362ff838469c866be
- initial_input_ast: 7d7d24b1f2f5007157bd3955352c5c5a27447c23c7c5c9d0760aaddec8de6c6b
initial_ast: 3dfddcf4607fa1b360809fc8a8ad1e20903f5d22fe4c74d89abfa25a949ffd33
unrolled_ast: 3dfddcf4607fa1b360809fc8a8ad1e20903f5d22fe4c74d89abfa25a949ffd33
ssa_ast: ab32ff2e18e2eeb5274738fad98678896bd5a6d152868a5e9cf805bb51a16b34

8
tests/expectations/compiler/integers/i32/negate_min_fail.out
View File

@ -3,7 +3,7 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 3ca155c33debfdfb0192a7bddb387e5e7fafeeaf31f0ef5089be2352d74faed3
initial_ast: 363b5086541a48fb6f45600281a01b2b29ebd11364eb7bd7f99df619c4335ae4
unrolled_ast: 363b5086541a48fb6f45600281a01b2b29ebd11364eb7bd7f99df619c4335ae4
ssa_ast: 6dfca0c27bda52e7578da2abd3f209ad58769d1087f0ef6c0bcb0fe8395f9185
- initial_input_ast: 83b4ce2489e23f80e3cfbcecbde6664a9c98966c4b0ceff53c41d4ac9f1aa5d4
initial_ast: 0c959c2e3f8e965b48b144c8a907f737dfc7b2fc6123ff45452885eda7dd5569
unrolled_ast: 0c959c2e3f8e965b48b144c8a907f737dfc7b2fc6123ff45452885eda7dd5569
ssa_ast: 4480e8d0d649d5c404fa4a2aaeec95c3ed4250f4ad3a6300cf156740334d9b55

8
tests/expectations/compiler/integers/i64/negate_min_fail.out
View File

@ -3,7 +3,7 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: b92bed9f53de41035d8001d9f8be4a5631049b47066b2d71de4c461f7f2a464d
initial_ast: 0cc342cea14752ac6e0a311fb66df84fa36e3f2a58dc7f9947a69aed91dfc410
unrolled_ast: 0cc342cea14752ac6e0a311fb66df84fa36e3f2a58dc7f9947a69aed91dfc410
ssa_ast: 1669ebc39317a0782b40b3b6fc21b48f1e8b3d0e5363eeeb12df66a21fb45372
- initial_input_ast: 3ca155c33debfdfb0192a7bddb387e5e7fafeeaf31f0ef5089be2352d74faed3
initial_ast: 66ea25d2b8cb34ebbfa4e2cb29c0a2b24c4a2ecc2c0c196187cc5d152ea0f497
unrolled_ast: 66ea25d2b8cb34ebbfa4e2cb29c0a2b24c4a2ecc2c0c196187cc5d152ea0f497
ssa_ast: 76ba17718a3480dce449628c113c5d2d6267b47b133197353b3a8aa039d1a19c

8
tests/expectations/compiler/integers/i8/negate_min_fail.out
View File

@ -3,7 +3,7 @@ namespace: Compile
expectation: Pass
outputs:
- output:
- initial_input_ast: 53570f9b01fe828f720945ab561a01e4c514f52cec152aa4b458f1f0da94bcd2
initial_ast: da5ed5d49f447486e6ddb77ccf04513ca4bf3294a908756a820f7f06fdadbe61
unrolled_ast: da5ed5d49f447486e6ddb77ccf04513ca4bf3294a908756a820f7f06fdadbe61
ssa_ast: 4040cbed0e5f812353e3481b44ef8b51b597790856a8a611e9c7dba27352ccb0
- initial_input_ast: c206fdfeceed348568d29f8eac48d60fb03306f23294b6b7a88d873cea5becdd
initial_ast: 4f5793ec5e9217775d74b734c81a425380b1e9f2fcd6a5f1e4f5d1966b2247f1
unrolled_ast: 4f5793ec5e9217775d74b734c81a425380b1e9f2fcd6a5f1e4f5d1966b2247f1
ssa_ast: 48a982de96518499fb7c4b06b61a1c41528c2762b1dadb818e862d1a823d3ba5