AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-11-11 04:49:15 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix leo input parser bug

Browse Source
This commit is contained in:
gluax 2022-04-27 11:52:06 -07:00
parent 8c86407b91
commit 8c7fe53ff6
189 changed files with 796 additions and 3974 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
compiler/ast/src/input/input_value.rs
View File

@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use crate::{CharValue, Expression, GroupValue, IntegerType, Node, Type, ValueExpression};
use crate::{CharValue, Expression, GroupValue, IntegerType, Node, Type, UnaryOperation, ValueExpression};
use leo_errors::{InputError, LeoError, ParserError, Result};
use serde::{Deserialize, Serialize};
@ -59,6 +59,9 @@ impl TryFrom<(Type, Expression)> for InputValue {
}
}
}
(type_, Expression::Unary(unary)) if unary.op == UnaryOperation::Negate => {
InputValue::try_from((type_, *unary.inner))?
}
(_type_, expr) => return Err(InputError::illegal_expression(&expr, expr.span()).into()),
})
}

2
compiler/parser/src/parser/input.rs
View File

@ -67,7 +67,7 @@ impl ParserContext<'_> {
self.expect(&Token::Colon)?;
let (type_, span) = self.parse_non_ident_types()?;
self.expect(&Token::Assign)?;
let value = self.parse_primary_expression()?;
let value = self.parse_unary_expression()?;
self.expect(&Token::Semicolon)?;
Ok(Definition {

23
tests/expectations/compiler/compiler/address/branch.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1024
num_constraints: 1536
at: 5afd1d58b6826912fe5cba06b60d9a7debdbad9e922b8a78ed49f7a7ca0ac65e
bt: db77c3470cf1b3c80c2e3b1b3ddc59d9891912489bfcf39b7f67c2f314ca7f6d
ct: d0993682df5b495f4a6784882e0f007dbc378adb35007d250e2c098975f4d32e
output:
- input_file: inputs/branch.in
output:
registers:
a:
type: bool
value: "true"
initial_ast: 7ad5e2d2d6b833861f055b51029ed74cb9aba444d689578b0a1d1e2ff90d848d
imports_resolved_ast: 045b43d9a82ffc1c7d36d8c299aa42e682e43e11b7af043d5d9bde522ef43f24
canonicalized_ast: 045b43d9a82ffc1c7d36d8c299aa42e682e43e11b7af043d5d9bde522ef43f24
type_inferenced_ast: 45e22455ff329af7695237d84c319e6160fd5a181d18e6b4edfa6bfb33845011
- output:
- input_file: "[main]\nx: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8s7pyjh9;\ny: bool = true;\n\n[registers]\na: bool = false;"
initial_input_ast: bbe973798ab14152165455260924a0de60131d31da32d2e223228954365dc609
symbol_table: 6f506e4bd93ca4a193014f33276e519aec48586d26a29a6a40c7fc7434a70b6d
initial_ast: eec1883a71c0ffd8b84ccf32538073fb8dece4b49f502227eef42f55ed4970af

26
tests/expectations/compiler/compiler/address/equal.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 511
num_constraints: 511
at: 61e8ee994e9e7edc1f84fa3cbe8c421ade231189b9ddf6a9a75eeef9915c20f7
bt: 2194515882da93c79fa24d47c40fddc44f0284da25da7b89efb935c0ea7382f8
ct: a0736e8c8f3bb1c39a147348754e53dfd31fd76a1df9cd9960472841bcc531df
output:
- input_file: inputs/address1.in
output:
registers:
a:
type: bool
value: "true"
- input_file: inputs/address2.in
output:
registers:
a:
type: bool
value: "false"
initial_ast: d30da3fdf0dd78daaa3e9c9205d4b0586e1b7ac260bb7ffd8e2d4987bfa9abaf
imports_resolved_ast: e92ad6367f56037fc168702523540baf869e2c5b089812a08e2e230ba45c40b4
canonicalized_ast: e92ad6367f56037fc168702523540baf869e2c5b089812a08e2e230ba45c40b4
type_inferenced_ast: 3dab0722613f664942053774b68d600d51ebaef77d30e166f707c5ce88749443
- output: []
initial_ast: 645b5ba48404f604913d22b3ad993adbcd44eaaf5c8f8291e40f7af64871e56e

26
tests/expectations/compiler/compiler/address/ternary.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1022
num_constraints: 1022
at: 1b42ef63a212d2ea51cab07171c8fb1438112afdbd14501470c2477b9eeb4c99
bt: 15054154626f1ae748008fc4ed9a650c3873b608988ff31312fe4049957dfffb
ct: dbda9de51fe9897456cbbcc3b450ed7d66185fb6018c7a0c72414784f29b2ad4
output:
- input_file: inputs/address1.in
output:
registers:
a:
type: bool
value: "false"
- input_file: inputs/address2.in
output:
registers:
a:
type: bool
value: "false"
initial_ast: 85d3058b1d8ec4612bc789d7ac9bc49ec5d8edce42d3363eefe4de1a3808b44d
imports_resolved_ast: fe38e424a54f4d75e998fd43899428009a99f4f412eae9cd536ce3e22eace228
canonicalized_ast: fe38e424a54f4d75e998fd43899428009a99f4f412eae9cd536ce3e22eace228
type_inferenced_ast: ef12afa598976ebeda5e1c755f3b4f01ce74ecd72a46a8dda8bf7fe53c32a228
- output: []
initial_ast: 8baa16e9a7222f4579562286af1f60cdff52a128460c4f3c123aa46d8d3e2e28

38
tests/expectations/compiler/compiler/boolean/and.leo.out
View File

@ -2,39 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 3
num_constraints: 3
at: bbd0722c65502a4b903833f9ff9e614e877f9b5c58c670593e2aa290d0457b2f
bt: 49e8fa1fd3f85b0f486c49f194e4fff3da5e8039685fca1f3327389cbe9fc180
ct: ae5c1ab4ec8811a2ec2efb38b91ab4a8b6fb80bd914b31f9a70559531aeb6a46
output:
- input_file: input/false_false.in
output:
registers:
x:
type: bool
value: "false"
- input_file: input/false_true.in
output:
registers:
x:
type: bool
value: "false"
- input_file: input/true_false.in
output:
registers:
x:
type: bool
value: "false"
- input_file: input/true_true.in
output:
registers:
x:
type: bool
value: "true"
initial_ast: 7a4ea96dd5092207c18b972784f4dee261b8fcfcbd6591a8f1376afabe2b09f5
imports_resolved_ast: 3529a67adc02429d5a17758c0f895348e44469a434a3af443c382135b89c5169
canonicalized_ast: 3529a67adc02429d5a17758c0f895348e44469a434a3af443c382135b89c5169
type_inferenced_ast: e5daa67ef6314295794fd13dd5b513abfd692ddf36fe2b4509edf99dc34645f5
- output: []
initial_ast: 603affb858de195474d9dc4f5896b019649fbd6f9fb28eb94c5ff41f9bcf67e2

38
tests/expectations/compiler/compiler/boolean/conditional.leo.out
View File

@ -2,39 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 3
num_constraints: 3
at: bbd0722c65502a4b903833f9ff9e614e877f9b5c58c670593e2aa290d0457b2f
bt: 49e8fa1fd3f85b0f486c49f194e4fff3da5e8039685fca1f3327389cbe9fc180
ct: ae5c1ab4ec8811a2ec2efb38b91ab4a8b6fb80bd914b31f9a70559531aeb6a46
output:
- input_file: input/false_false.in
output:
registers:
x:
type: bool
value: "false"
- input_file: input/false_true.in
output:
registers:
x:
type: bool
value: "false"
- input_file: input/true_false.in
output:
registers:
x:
type: bool
value: "false"
- input_file: input/true_true.in
output:
registers:
x:
type: bool
value: "true"
initial_ast: 45a04deb6029e54df7233eadfef5d67f56ca3e757e232f0b27febe8b92a7a037
imports_resolved_ast: 6aa3054db501b621e4ee499a42a47431f8da29a2b6dd44a6b0ae16f3303aea48
canonicalized_ast: 6aa3054db501b621e4ee499a42a47431f8da29a2b6dd44a6b0ae16f3303aea48
type_inferenced_ast: 13c07566232bd3efaf33c3b685cf05ab7d14960347bee22c8ddcbe424e7ed7a3
- output: []
initial_ast: f577369ef75a92dd680338305c55f95a94ffb0b5ea8e6d090d4e7682666da163

38
tests/expectations/compiler/compiler/boolean/equal.leo.out
View File

@ -2,39 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 3
num_constraints: 3
at: 01e9615846575e848deea9a9802ceed188fdbfc4660f6f22de41845adcce14ac
bt: 49e8fa1fd3f85b0f486c49f194e4fff3da5e8039685fca1f3327389cbe9fc180
ct: 7ca43d5c34997f3c866631161cb33186cc016972238c07771ae105ca1b05320d
output:
- input_file: input/false_false.in
output:
registers:
x:
type: bool
value: "true"
- input_file: input/false_true.in
output:
registers:
x:
type: bool
value: "false"
- input_file: input/true_false.in
output:
registers:
x:
type: bool
value: "false"
- input_file: input/true_true.in
output:
registers:
x:
type: bool
value: "true"
initial_ast: 48ea8376628464c6968c55a725f095f6f5060bf7f66961b8f3ea118758207656
imports_resolved_ast: 24e8288d6a7ba36e0f73cb6469d499bd058049047086844c800dfd2cafa68c31
canonicalized_ast: 24e8288d6a7ba36e0f73cb6469d499bd058049047086844c800dfd2cafa68c31
type_inferenced_ast: 9d2e51bd9b2ea5391e45d5355c11cab2df0d693a99748aad10c62f57063cf19a
- output: []
initial_ast: c366a1ca90cc0d6bd3bafb7e83313549d028b101d1759d30d587aeca574f36c6

38
tests/expectations/compiler/compiler/boolean/not_equal.leo.out
View File

@ -2,39 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 3
num_constraints: 3
at: 01e9615846575e848deea9a9802ceed188fdbfc4660f6f22de41845adcce14ac
bt: 49e8fa1fd3f85b0f486c49f194e4fff3da5e8039685fca1f3327389cbe9fc180
ct: 7ca43d5c34997f3c866631161cb33186cc016972238c07771ae105ca1b05320d
output:
- input_file: input/false_false.in
output:
registers:
x:
type: bool
value: "false"
- input_file: input/false_true.in
output:
registers:
x:
type: bool
value: "true"
- input_file: input/true_false.in
output:
registers:
x:
type: bool
value: "true"
- input_file: input/true_true.in
output:
registers:
x:
type: bool
value: "false"
initial_ast: 3d0dc21618d13dfb8087f0927018e473ae7d8e62d834003c14e3d180e07a56df
imports_resolved_ast: 3a02fa251d1c4386286e0c46b469e907d30140d80b29405e25fc103e073d6ce7
canonicalized_ast: 3a02fa251d1c4386286e0c46b469e907d30140d80b29405e25fc103e073d6ce7
type_inferenced_ast: 97132ba7a71063118cf6353b9178b21416ec429e43770f1db5b6a92dc6609236
- output: []
initial_ast: 760e9080bf2690928551e6f4f2466824c75f81464043faa37580ac9d9e07ce2a

38
tests/expectations/compiler/compiler/boolean/or.leo.out
View File

@ -2,39 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 3
num_constraints: 3
at: 1df8316bf2fa59a7a92242252ec3c26a425f07212a4c716b2fefd4ddabc2d773
bt: b95daadce52bb9a3b59565f7078664afbebde46b9b5d6a187e4877926e7a506c
ct: fc07ea064122a2b3be5414ded4cd1e51e3aef7240ad33c8888d757909e9c2c07
output:
- input_file: input/false_false.in
output:
registers:
x:
type: bool
value: "false"
- input_file: input/false_true.in
output:
registers:
x:
type: bool
value: "true"
- input_file: input/true_false.in
output:
registers:
x:
type: bool
value: "true"
- input_file: input/true_true.in
output:
registers:
x:
type: bool
value: "true"
initial_ast: e1d9891781a91d415be3fefdc4362bc69317f4bbddd5c51ec1fa817004c07bcd
imports_resolved_ast: e64ef7e89a12cdbb7a8d6d5cf4c2fd52157820391f6d1ed0b43f597dc83183e0
canonicalized_ast: e64ef7e89a12cdbb7a8d6d5cf4c2fd52157820391f6d1ed0b43f597dc83183e0
type_inferenced_ast: 15a9981ccb9dac48ac8a755d1219d21bbfab9ef80b27dfd302209aad151485e1
- output: []
initial_ast: 0ed2a39bfdc56279524de062f31305fb67a8e073e29e159414bd82c17585369a

23
tests/expectations/compiler/compiler/definition/out_of_order.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: input/dummy.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 63a00adfea5e1c974020e0ee0b7499cda444cfbfb11f0de2ada1e0b5ffe990d7
imports_resolved_ast: e77168ff058f4e108286532bca8e74cad8af6eec6d1ccc04a2fb2baa69b21a8a
canonicalized_ast: cd2f45e163acc4ac3aae12ed8cf1adf6d377dc92405e288aa568104df61ed3e5
type_inferenced_ast: cce5364f933e2a249363fa3a454b35903e9eef597649395a826fbfa178df9722
- output:
- input_file: "[main]\ny: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 3674d8249023145121ff35eb4d9e59b0ce79cda7e17f9f98b5dbaa6ba4f80cf2
symbol_table: fe836874629cdc86427a1048352c6e75e7a2981ee5c9819df0fd946eb79d4d8b
initial_ast: 5ef5995607c9487bbba88bd6e2806f19ca1ef11bf6bb7507f75f6a5f32d39fb6

20
tests/expectations/compiler/compiler/field/add.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 5
num_constraints: 3
at: 58e404664f2d64d2fd5fee64bf6e997f542a822b8b17e394fcdd7bed05386db8
bt: f91b8601243dbd0d25e7df8f34ff304ca78a295fdfafbe0102ec6ce4fcb3c0f0
ct: fe68b86a12c0b8c1585a656d7c4b8c47fbe19677b5da7ce0aae1d80dffb2a2ca
output:
- input_file: inputs/fields.in
output:
registers:
r:
type: bool
value: "true"
initial_ast: ffc8d42ca8a5b9f473036aba6df1b2977ecce1ff8e733824f6ad557bfb331369
imports_resolved_ast: fe1b3ec06440cf6213ecff80c4bf47ddae102275eeadd74e65e55bdd0fbb5511
canonicalized_ast: fe1b3ec06440cf6213ecff80c4bf47ddae102275eeadd74e65e55bdd0fbb5511
type_inferenced_ast: 7b9036a020392e3a05903476543b3e2c28ffdbff3b13c63ee21aba0a6189d27c
- output: []
initial_ast: c0f200537ad3f17f2dc9f703cd995c7644356a2eff79aa6d49bf799028e12c87

20
tests/expectations/compiler/compiler/field/div.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 7
num_constraints: 5
at: 545f3730dcbdb3a3dff41db4263dd41f9be9cf279fdc3cde9518973db0c88685
bt: 0a5ae5a6be6351f852bbcc193e57320be38fff279cf6fd65a3239c3a64239b27
ct: f25b05da849d0d7fcaab89d41d9624efacb48b7ba983f73a0d5f383b16f7009b
output:
- input_file: inputs/fields.in
output:
registers:
r:
type: bool
value: "true"
initial_ast: 932b406167eb569de88471503766528ac8a4c5f670d3e160e6f9f0bfcf02461d
imports_resolved_ast: e23c3850779a2b30f704e545780a15652b97bd4bf77df7f579ef2abb3a5c4d94
canonicalized_ast: e23c3850779a2b30f704e545780a15652b97bd4bf77df7f579ef2abb3a5c4d94
type_inferenced_ast: 2b8e44a4e7becef177df33b48ed19175d60f2578a40a6a1de1851eb2aaf28256
- output: []
initial_ast: 385b93965a80f1b5eadb12bf1d49f5fbaeebfefe3d24c735d94ef4f30730bdaf

20
tests/expectations/compiler/compiler/field/eq.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 4
num_constraints: 3
at: ca775a363045cd405dd1d60cd10edb6cc6e4c0b164934951dab0977509b8225c
bt: 02c492cb6df07172e56cffd0cfd902a8443921e1256a2d907bbabd30bf6b8f6d
ct: a1f8e2b168c0f2f28f0ca3f16ce9b25ba7f7c410cfd68b0912bf19c90b53f2a2
output:
- input_file: inputs/fields.in
output:
registers:
r:
type: bool
value: "true"
initial_ast: e9ac98692c288217864688ca094e0451dd6c845550cfc2ea5769b5deb4547eaf
imports_resolved_ast: 0c47b5152a7b72c27970efb8c85601172c72661d9172ec748ea1785a79d8fdd8
canonicalized_ast: 0c47b5152a7b72c27970efb8c85601172c72661d9172ec748ea1785a79d8fdd8
type_inferenced_ast: 2b5ada02d0374e5c30ac6ab90c2ab7376ff52702a3963d6141821ab126302e23
- output: []
initial_ast: 63b88151e636d767e04285b45861e6f08c9a96bbaea5f65f8d68b21ee9d332c8

20
tests/expectations/compiler/compiler/field/field.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 3
num_constraints: 3
at: 0b86cac5ba812f96b6db4b5ffdd1d8463fdaadd3fc8c3eaad8049aca72850ddf
bt: 96fe80788f9958c843626c6f725ffd743f3ada2504e3bd16be94746921689578
ct: f1ede3ef5da6734d87d6254c41b53dd3e93b4b7a9e9b232f10d9525554fe16c6
output:
- input_file: inputs/fields.in
output:
registers:
r:
type: bool
value: "true"
initial_ast: 6135fa40327e58ea773bff67c6e76b5b50b0994186d9aa54fb13491334e3532d
imports_resolved_ast: 79d6894d3028943497549f7cb781fbed5db7c152f956e688150e99745bc9ad5b
canonicalized_ast: 79d6894d3028943497549f7cb781fbed5db7c152f956e688150e99745bc9ad5b
type_inferenced_ast: 3de55f7092ee12e91501d6354fa6209f6603ef54aca9c68b2faadd1ffeecfa85
- output: []
initial_ast: 7807bb74715d079409f6cb1b57e0e8a2d265df94a00c6a941f9302d2bf3a183b

20
tests/expectations/compiler/compiler/field/mul.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 6
num_constraints: 4
at: 7dcea624bdc7a6e6fb5f5e93395e84a96db66898779eb3f5595c4e30e3684f17
bt: c21a8e9f463d2fad68fd3a88904dd88f2a3dc7dcb01835357fa4ee457ef1673b
ct: 4b4ef106804964b8a1ee7c1dad3d4682d20a0d07f576130bfec9989b353bf596
output:
- input_file: inputs/fields.in
output:
registers:
r:
type: bool
value: "false"
initial_ast: 30cb94ba997d6fcefaf262c46c458d79c8d91ca82093176bc6f15acc6d0a8c5f
imports_resolved_ast: ec196189f619b82d485797d2135a9f6ced582cf3cc5243f1eaabd176b2735b74
canonicalized_ast: ec196189f619b82d485797d2135a9f6ced582cf3cc5243f1eaabd176b2735b74
type_inferenced_ast: 65dd23f12d7325fa6dd0940d420e18144e3239f5e3fde6caf2368bd7f2860811
- output: []
initial_ast: 7daee749c08af61d98febaa31f6b0b372dd5e4edd8ac7782ade6e78072e54ad4

20
tests/expectations/compiler/compiler/field/negate.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 4
num_constraints: 3
at: cc1286e0b6fa2e90fb6f0880431a7c1e2cc37a329fae3aff1c13f51036c66f12
bt: 02c492cb6df07172e56cffd0cfd902a8443921e1256a2d907bbabd30bf6b8f6d
ct: a1f8e2b168c0f2f28f0ca3f16ce9b25ba7f7c410cfd68b0912bf19c90b53f2a2
output:
- input_file: inputs/fields.in
output:
registers:
r:
type: bool
value: "true"
initial_ast: 5c4f471a1aad427a69fd882c654d86c883c7b7d624d7acf502fabb3c1a76da6c
imports_resolved_ast: aeb53d96b9622a8ef8f03bf1c7df09c4026b44729c8d0767a3e884e329faebfe
canonicalized_ast: aeb53d96b9622a8ef8f03bf1c7df09c4026b44729c8d0767a3e884e329faebfe
type_inferenced_ast: e090e43fe73bb5988858a30e1a569a51d8c016cf2209b64e0c8bb50a50d9310e
- output: []
initial_ast: a379c937898e9a3ab56fee13ac2e5bb137f96dcc7faf121c0c8f5daec726a510

23
tests/expectations/compiler/compiler/input_files/program_input/main.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: input/main.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 3448b9b7ffa15f9d66783b0f28de8869111da903ad1ee87599af52dc520af15d
imports_resolved_ast: 44e8ee4ec6b14400cf1e4a2b9e90462b3f8b46d52384d9ec3d32a3e88b607adb
canonicalized_ast: 44e8ee4ec6b14400cf1e4a2b9e90462b3f8b46d52384d9ec3d32a3e88b607adb
type_inferenced_ast: d601032c7e53d4b29378721b0768d1e57ed4a4c3526d46d2cd1dadfae6873f3e
- output:
- input_file: "[main]\na: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: dcc83a9319d9784c4bed7596d95f4bb19e2f5db1122e17bfa37e3458ed69c4fd
symbol_table: aabee41c31620f09539e282b4e32b28bde056bd182c3866ffd9a095f1dd60c14
initial_ast: 06f1b743bd89e797249d51660f05d3b53d8c3e5a55c00c414795059fdd194ca1

23
tests/expectations/compiler/compiler/input_files/program_input/main_field.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 6
num_constraints: 5
at: ab475a59a3c7d4299665005e00fe7232cd3ea2238493f31211c33f3057e3c1d7
bt: 691f0be87cb1ac6a001269af3d7dbe2c860290538950dc921f318ccf2f319d66
ct: 6d17d0577f11cb480fd832f84c38611e836e8aa93457407aa17c07c6ef9d3e03
output:
- input_file: input/main_field.in
output:
registers:
r0:
type: bool
value: "false"
initial_ast: 7bef1d7dc04dee6e2d6269059cb95d6fa5386fdd00a64369d33dbdcd12e9d4f3
imports_resolved_ast: a830a8e344a9debd20112d1dcb994f7891cb695d546f36e840dc301bbc2bf971
canonicalized_ast: a830a8e344a9debd20112d1dcb994f7891cb695d546f36e840dc301bbc2bf971
type_inferenced_ast: f75d47a38b82f1ce3eeb4b9999deed924d211c7543c1996f44d56e7e5b772054
- output:
- input_file: "[main]\na: field = 1;\nb: field = -1;\ny: bool = true;\n\n[registers]\nr0: bool = false;\n"
initial_input_ast: 26ff565eeaeeca7a4cc7c752bfe5e745db05dbbb559a36b7dcb4a9c9d5cf899e
symbol_table: 5a73abac57c301567a8824e865c06c6e771418fb1b6aec0d7e5f598ccbcdfed0
initial_ast: ffdacfde92b14a8fc1e7c53d51cf47345ba944ceac0340520122f64e80c0ab1e

20
tests/expectations/compiler/compiler/input_files/program_input/main_group.leo.out
View File

@ -2,18 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 12
num_constraints: 9
at: df88b362955f00b8c41afd9e31c9e41e4b8254a71ea0f3f2f97d5b6b8b767415
bt: df58aff07b131c34e977ffb5657bbd21852f59fd7e059117c419c3c6070a7053
ct: 335cdfb09b13172262042abccf4560511666deaa63cc1b3f30dd35dcb554840f
output:
- input_file: input/main_group.in
output:
registers: {}
initial_ast: 574b9f0bb10b896d43f2ce2a75e9f6a53f795066963fa09463e2da4abfeaae08
imports_resolved_ast: 84556b9ce4167fcd7f8f00efbdc440b893045a7b3f860ba4570a021fe54db91a
canonicalized_ast: fd0df53c9f6093e952a04240d4b667d360d1f29083aa896a91bd80103d58e08f
type_inferenced_ast: 915167f337d76b6a6c58860a763aad64450ca27dcad6264b34a591f9bf418c18
- output:
- input_file: "[main]\na: group = 1group;\nb: group = -1group;\nc: group = (0, -1)group;\n"
initial_input_ast: 723e9ab87822d7d8d793ca1611eabcebc684097a64f37a4cd246ff9e506a4865
symbol_table: 27ba3868c5417bf99f34622b3a2f074fc400f9550b4a282b47c559391f961b55
initial_ast: 7e9c14acddc22727d5f7a480aaa8a88eabb1be94072f9124d286bd0c2224d018

23
tests/expectations/compiler/compiler/input_files/program_input_constants/main.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: input/main.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: afff6e446053138cbf5af07b4610b1f2ecc16b522b9659f459e0803b64b947d7
imports_resolved_ast: 1b294caf522987b87060d0beae9493d75c3516278fcc584dd3a06c4c51dff0c2
canonicalized_ast: 1b294caf522987b87060d0beae9493d75c3516278fcc584dd3a06c4c51dff0c2
type_inferenced_ast: bea359569618e21dc7b9db8a1fb0a720a698c6c7a5927fb778148a57680919b7
- output:
- input_file: "[main]\nb: bool = true;\n\n[constants]\na: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: ce38ef1ec7bdaaf35b68d011803255589ed870002583000a76f137d7682bc3d6
symbol_table: 21f3e603be14808f79859aaf18a4b7da2a22a7aef7f4b758b0514b745bc52474
initial_ast: 806f13e7c1584039d0f1aae5c8b4f8ed432d35770ec576610d6249afb88141bb

23
tests/expectations/compiler/compiler/input_files/program_input_constants/main_field.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 4
num_constraints: 5
at: 992d6f01cfca64e86db6fe2886e91e8f17a4adaf663a344190bfbeda791ee53d
bt: 6d3a525cf2df60aa6d24cdfc442b4d97ee54b70d2c685ff8d0dc01201f53fab7
ct: 0cbdac23e63505aa9f74483b5fff133d1f9f976417e6370626514df04711d802
output:
- input_file: input/main_field.in
output:
registers:
r0:
type: bool
value: "false"
initial_ast: a3a3fece322e4a9ea891b2ecf26bfcff0d8a55365b7eb17e48bf1c692b7510be
imports_resolved_ast: 4ae183ab1504194000aa011540bac9ca3c01b4e2cfa0ac6eaca14fe85e2a639c
canonicalized_ast: 4ae183ab1504194000aa011540bac9ca3c01b4e2cfa0ac6eaca14fe85e2a639c
type_inferenced_ast: 683e7732660c51ad8c526f15c8d2401e5def743b0b463f79431bab8de3523584
- output:
- input_file: "[main]\ny: bool = true;\n\n[constants]\na: field = 1;\nb: field = -1;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 93b2623d14170f20805af8b04d8ca7c6a61263fa9ae2a2f0afa24168af9ff4d2
symbol_table: e3a4953e1d858fcd09177faa813c5a4f70850a7fb3394ac3c6b32eb37d38931c
initial_ast: f64a7585251a99b5a711175263bf8bd39fa959a7f1488f9aa3a8ba40a5dc9247

23
tests/expectations/compiler/compiler/input_files/program_input_constants/main_group.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: input/main_group.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 3415b9dc8670e8ef08c87c8b6e36532cbba0a086e4583f0972603ea6dc4b6bfb
imports_resolved_ast: 25ac6b39c6a2b2bbf637ed2a06bb0c02762c228c437ed9b2e7dd362e20001935
canonicalized_ast: 25ac6b39c6a2b2bbf637ed2a06bb0c02762c228c437ed9b2e7dd362e20001935
type_inferenced_ast: 55b3f679b11855cf22023a34b5d5d09d1772994bd61baf6b7ceb26b327f4c4f1
- output:
- input_file: "[main]\ny: bool = true;\n\n[constants]\na: group = 1group;\nb: group = -1group;\nc: group = (0, -1)group;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: eebcd00b27aba004420d4f00da025325da9ff86d29162e54401fa55b5758ae39
symbol_table: 218ef310cf0f462d7729c17904f4abd6e7f1fb05a4de0ab0a80b1eba84f765e7
initial_ast: 8b077463b76328b9a910bf0eaab51a74e7b69e1cddbcedc9226a5358f13b9bf0

23
tests/expectations/compiler/compiler/input_files/program_input_constants/main_multiple.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: input/main_multiple.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 841fab63212fa6030fe800e4494dc455a9f4d91a583a3780669f6d5431702646
imports_resolved_ast: 8d90701424ca8b5722a13dc009ee0a84f62e4869c74c79e9590cefa07ce61e2a
canonicalized_ast: 8d90701424ca8b5722a13dc009ee0a84f62e4869c74c79e9590cefa07ce61e2a
type_inferenced_ast: d85a4f34150f9b87932f445575f606078fccff1649919264de7daed050c09d30
- output:
- input_file: "[main]\ny: bool = true;\n\n[constants]\na: bool = true;\nb: bool = false;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 81306ba48e4ea08106311612bfd5c1bce79242ca08695fda8584780329266063
symbol_table: 6680aaab1d739d10eb145876c05f90779c9888b98dce5eeb122517ef87fb4536
initial_ast: 3c27f9f5dddfc4a5a036c33fd9bbbff4594bcdb188cff720d0e8ae7f171f6acf

20
tests/expectations/compiler/compiler/integers/i128/add.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1404
num_constraints: 1405
at: b738445f9fa8039b6d93543917f21faebabd70ce5f0fc95bc2b82f9a96653e78
bt: 7d12a27b02e7c965ac1775f6711d6da181ea2a809f8bf644ab1755929013f7e4
ct: e7b4e2f5a4e98c3a9016990ee3dd9bbf5e55e7a98e1dc3ac7d4b458ecdcdde7e
output:
- input_file: i128.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 6034e46458c03b523ce65a652bc031b57afcbc68acea179ff8e44bbe5bcff61e
imports_resolved_ast: 0b0f9b493707ed1b625c187c66455cef5921ba296d71eeea22ab359dc8307d1f
canonicalized_ast: 0b0f9b493707ed1b625c187c66455cef5921ba296d71eeea22ab359dc8307d1f
type_inferenced_ast: d9f69bce638f3eb17f03d30dedc531bfa45de823877531c4ac0b404c5e84aa53
- output: []
initial_ast: 4ba3f688a429a73f874a1c391a591e7155a4722ff99c339d0814eb903b3265db

17
tests/expectations/compiler/compiler/integers/i128/console_assert.leo.out
View File

@ -2,18 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 511
num_constraints: 511
at: f130bde196ac7e190b505a42dfb30c41772c4c7eafe9e7203be9222892b767ce
bt: 7ac37b347f82644239128aa66e9caf34375b1fd860069659581477883d92fb7a
ct: 3e4c7833e73f9ee37e42c796e8af7a6d417a012b776b348abedbfd317110858d
output:
- input_file: i128.in
output:
registers: {}
initial_ast: 9ad8cfe49e90701d2c611dcabc3ee3b935e29fd0d0dae3824f8a382249daaaf6
imports_resolved_ast: 43ce18da004d1a1ddfe615d059cd847ed493f76190b3ab468597d137d94cec09
canonicalized_ast: 2180b2223a05b40e9a776f1075aa6c004af89d7a6114334272614a46894cc1a1
type_inferenced_ast: 034e65d40da9f8b49afb59eaec8220a03719a09e2a3b17554014eb918390526f
- output: []
initial_ast: 04f4837fea457bc8b7903f3127998e42bee7e36d49665a66beca315b3cc52427

20
tests/expectations/compiler/compiler/integers/i128/div.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 264820
num_constraints: 330868
at: 90e89968758ed4552073b4217621741d7471a683f004aff63679ee176690ebb4
bt: a83224709a5d2ea9ba982fd81f35188e299590ab7ce201773857c54a39b27d93
ct: 26d5f56acb9effc130128af10b00b426d2396e7d8962636268b3dd08ba8df5e3
output:
- input_file: i128.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 84c18747e64a1a09dc6b5b06967246347b3e38e78a4d4d9c1e95380766d062ba
imports_resolved_ast: 71eeef56b912a8e6088a228484e80d98e8a567e9e0203b3ae504457f914eaaed
canonicalized_ast: 71eeef56b912a8e6088a228484e80d98e8a567e9e0203b3ae504457f914eaaed
type_inferenced_ast: e0f6b00947eff709f6dfd80de777e15bed76fda1732395127b6710cbd9a7defb
- output: []
initial_ast: 22d811ec372bfcfa643f49485200451dc5fe2b928483cb9801cd10461100e3b1

20
tests/expectations/compiler/compiler/integers/i128/eq.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 513
num_constraints: 513
at: 75b34d698fc2359df51943102062181aa5ee62b84a221747dfd7f8868bf48efd
bt: c1e085f0d8047bc5b5f574ca9de7d79a0ce3b3235e3bfb83ff15aecf05ad1323
ct: c224fec21cf5a2b24eb94033a20aeb4729d3d0cf596339145cb49ea6a44cc5d8
output:
- input_file: i128.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 5b8836b42a69a418b1f0f3f55959616682ce695e0f41547120fd482575861678
imports_resolved_ast: 284635ff7125d7d7260051441431840b5e28cd8bb2563f5fe5c4e1aa1bc7b54e
canonicalized_ast: 284635ff7125d7d7260051441431840b5e28cd8bb2563f5fe5c4e1aa1bc7b54e
type_inferenced_ast: e04fa34f4a3d2730c9b94cb317afc4dab5376264ac6b9aa043453a7acfd69073
- output: []
initial_ast: da2b5ade996589a255e02d69a67f76814bb7ac0b0e685bf7e9776ceb4e0b9a7c

26
tests/expectations/compiler/compiler/integers/i128/ge.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 897
num_constraints: 897
at: 96f20d0620bc9136e98bfe583ce40c6ad4359d33c7bafe02d1e121e411b1df50
bt: bf4203445221fa42994f563865391d625b571513cf25a20cf465fbe26647ec5d
ct: 8d7309bdb692a71de6c9efc246984ce389534e8fc31222a94d5217720c2d20e9
output:
- input_file: i128_e.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i128_g.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: ee0b7f6fd6fd4f705e68084965585ecbdbc0f8eea502e2cfe8c3dfd92b7426e7
imports_resolved_ast: 34492e7460ef8d2463e1f5bfda5f60cb49a0f0abe86fe5be0bb5ba94ff25ee5f
canonicalized_ast: 34492e7460ef8d2463e1f5bfda5f60cb49a0f0abe86fe5be0bb5ba94ff25ee5f
type_inferenced_ast: 93347222970d5b687d1d392be338728e673c03fee2beef6cc9df42988c109315
- output: []
initial_ast: 8eba6b11f24d8570a20e459d8aab9622ea6a5ba7af9a694c2987a3b7fd9ebbbe

26
tests/expectations/compiler/compiler/integers/i128/gt.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 897
num_constraints: 897
at: 98a9cad46c764246288557ee4b5ded8e4f2ca8c99e07068d8e5cfef000e22e31
bt: 7734cf8efdd437cd881763da604d9524fca91092bda9b6fc677ff9c30fa4b3c7
ct: 8d7309bdb692a71de6c9efc246984ce389534e8fc31222a94d5217720c2d20e9
output:
- input_file: i128_g.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i128_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 1ae3ca50d98602aa4dcca75215feeeaeca83c3ea6fa4a3f7a81c2587575c2fd5
imports_resolved_ast: 2fedd9cb4ad257ba301485cbbeb76b6a50c59d94376f0e9108c41550094811f1
canonicalized_ast: 2fedd9cb4ad257ba301485cbbeb76b6a50c59d94376f0e9108c41550094811f1
type_inferenced_ast: 4600bac734a533107314804a8b5664fd3976d33cc890a6a72e91ff5c55057ba8
- output: []
initial_ast: b8f337da7484c626ac9f36d2b2ef1b6d64a4c71c83fea6371fa8074580397f73

26
tests/expectations/compiler/compiler/integers/i128/le.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 897
num_constraints: 897
at: e7341bd3736199176968e0d217b64de1913590fe3c69e32c4a398014df18f20f
bt: 78d5b43e2c7d048af797f16a430d0ce5b99f8305fb1dbd0c7a0a6f36cbd6b046
ct: 8d7309bdb692a71de6c9efc246984ce389534e8fc31222a94d5217720c2d20e9
output:
- input_file: i128_l.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i128_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: d75f1f5197239fea5c992f6e837f6b1659c8c0bbadad7d49846fca2332219549
imports_resolved_ast: 241b092d8611fa27a868cb351721822aa55645df2b1e587eac0bc008318d642e
canonicalized_ast: 241b092d8611fa27a868cb351721822aa55645df2b1e587eac0bc008318d642e
type_inferenced_ast: bda96fc9fd4bad06fcf502e83879a68fb01eaab8386a2cfafef27d427eecd604
- output: []
initial_ast: 565fed6c7ba818dd47e2623c8a1abb63d28ecb1a5038c076879fdf43dc908166

26
tests/expectations/compiler/compiler/integers/i128/lt.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 897
num_constraints: 897
at: 9164a7c32351fa140180bb6aedc74fc291dde69bbff2b1e9c2191b3d155356dd
bt: 9a46d23879218b3aa9d5b6575fc677aca1f7470b3b4e623a26f410a38200661b
ct: 8d7309bdb692a71de6c9efc246984ce389534e8fc31222a94d5217720c2d20e9
output:
- input_file: i128_l.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i128_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 4cbaa69424d3ffdd2f98e1268414b0f2fff0616c82a5f3ae8141f16907ab0f05
imports_resolved_ast: 0ced04514468ff96b0c806fa758f066e5be577331d329f8e5b2e91d45ceed4e9
canonicalized_ast: 0ced04514468ff96b0c806fa758f066e5be577331d329f8e5b2e91d45ceed4e9
type_inferenced_ast: d5f6de9a8c5ebe0e3b15ee39e1b79eccfdca4c8483ec72b022ebe7a40c894606
- output: []
initial_ast: 7cb86efce158b9f000dc417a73bb2030617e38bc813f413bc36386fab0520406

23
tests/expectations/compiler/compiler/integers/i128/max.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: "../input/dummy.in"
output:
registers:
r0:
type: bool
value: "true"
initial_ast: dfd2116080ae00021bbe710cd430ce0787e7513dd5216c991094a7d74718c270
imports_resolved_ast: 41bc1f24ed123efa16903f481a6af0e55290c45ca5895acfed92e3cc5578bc9e
canonicalized_ast: 41bc1f24ed123efa16903f481a6af0e55290c45ca5895acfed92e3cc5578bc9e
type_inferenced_ast: ddab2e55e873db3490299850ab4c3d8670724519da384ad04f304d9d227f61be
- output:
- input_file: "[main]\ny: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 3674d8249023145121ff35eb4d9e59b0ce79cda7e17f9f98b5dbaa6ba4f80cf2
symbol_table: f3ca97d86f57b944c4231dc0b69741a03effae440313f160eed441bb0daa4d37
initial_ast: 107fb1218c428388b2e1b713bf70d1f6094409c8cef3c43bf62a3f22297989f3

23
tests/expectations/compiler/compiler/integers/i128/min.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: "../input/dummy.in"
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 62a0e940523a1eb558134e9e79f6299650b288c6ebaa4915e9c909f4690cbad9
imports_resolved_ast: fd0ac331b476fada250afd3c28680854af0192cdc14b06d63527a8cce8be9abc
canonicalized_ast: fd0ac331b476fada250afd3c28680854af0192cdc14b06d63527a8cce8be9abc
type_inferenced_ast: 0e291d0831657249651e533987cf6e6584a6e8aeae0fa3144a0600f5bfd0ad9f
- output:
- input_file: "[main]\ny: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 3674d8249023145121ff35eb4d9e59b0ce79cda7e17f9f98b5dbaa6ba4f80cf2
symbol_table: 3fcab5bb182f20887ba91b5c07936bdc26f26aefcbcce901d9a9c32437b8770f
initial_ast: 1c9df75524411cf53c17b8d3e2a879b6caf9b46aeeabbe9681d251e4c1e66e21

20
tests/expectations/compiler/compiler/integers/i128/mul.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 393216
num_constraints: 393217
at: d5a0c9b374587e6c25f437a157bef0c152665743371172ba94d04e13a1a8f509
bt: 2d0600e403e694d114c452c3e5c1ad2137e48b5344b3760dbec2e826420b8a9e
ct: 76b519a48f8267fa180bc68f3e7a84fe7319a3ad2e76338916cb399d9cea22d8
output:
- input_file: i128.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: afd28dda487ee76e68423a2920cfda3442787bea37f98bae0dc65e10e0a06f98
imports_resolved_ast: 4dcb6f9ac89f8f3e0287f2e435cd5bdfd62372f45f5ae1a4ffd6bca9f381f556
canonicalized_ast: 4dcb6f9ac89f8f3e0287f2e435cd5bdfd62372f45f5ae1a4ffd6bca9f381f556
type_inferenced_ast: d3280b6ef4a324c14e2116f157fe0176534d5f5fc892355c54091bb407cb0d02
- output: []
initial_ast: 58d78b11cee52cae54a5684cccaf0569c9788f8c2af0e51d18bae25004246a58

26
tests/expectations/compiler/compiler/integers/i128/ne.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 513
num_constraints: 513
at: 8f9d3ef916a970cb762ca6f3829a8b4897dc65d493a2ea2eb4fa812a2062fe67
bt: edc1de9388a8bb2c659c9b4e9deecd8406826abcfe220d295bf7d85a550c0c43
ct: c224fec21cf5a2b24eb94033a20aeb4729d3d0cf596339145cb49ea6a44cc5d8
output:
- input_file: i128_ne.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i128_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: f909a4b98fa5f8c422c25bfa4485281f9691a0c193803c442af9633e6f736a12
imports_resolved_ast: b9cc37e7790a5b6acb6b98a569371865d6ea9fd06dc1ac04106ff345eec2a192
canonicalized_ast: b9cc37e7790a5b6acb6b98a569371865d6ea9fd06dc1ac04106ff345eec2a192
type_inferenced_ast: 41fc4c4007ea1c31f3053c314175de037b78f23f0edf881503227722d1e785d6
- output: []
initial_ast: 5d8779407cc50f3e981e519370b2c0a3a73037572c8e35fc19b4dd421eee3d44

26
tests/expectations/compiler/compiler/integers/i128/negate.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 765
num_constraints: 765
at: 46af0432868923f7cad6e7db2de33a69ccad1a789e92d552ec26f8fc19a7d33d
bt: f1167d856668e1efcd49f020430a704e62ad6e46006e7faf58acdac8bb8a5ba2
ct: 075f6359a5dd933b671b42c06465f4c70f5ec152176c234fb4d3cdfbe6255daf
output:
- input_file: i128.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i128.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 8b068086883db13819b6efd8628f5bc09eababff85065acc4eecf4140eb0c551
imports_resolved_ast: d6f4b8d96e9eaf7abb34193fc2dfb0ed26eacfa8a054ff617f6d63cc572c27d7
canonicalized_ast: d6f4b8d96e9eaf7abb34193fc2dfb0ed26eacfa8a054ff617f6d63cc572c27d7
type_inferenced_ast: ef1e57c07da313c5da529f929c1fb541b069bc0d00e7abf606faf2164ebbe43a
- output: []
initial_ast: 26273053686377beb2d82077eadc49db45ca8b5bc24df8b9515182b998421cb9

20
tests/expectations/compiler/compiler/integers/i128/negate_zero.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: dummy.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 4fe155558501b42818f65f8e4a4afd0492a67be902c6cc818a05d423a9e9d13e
imports_resolved_ast: 86d46c81ec2766f019c83cdd853037e841798e342ffbec5caf1d5ef541808f97
canonicalized_ast: 86d46c81ec2766f019c83cdd853037e841798e342ffbec5caf1d5ef541808f97
type_inferenced_ast: 76f7439f6d914f701aa70b26d5448db0f5919ad681774da2b5eefbda7426482a
- output: []
initial_ast: 528c451e9e0700c2d8f73b8281c28ce11dfb04663786922a18e200f2267ca80d

20
tests/expectations/compiler/compiler/integers/i128/sub.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1658
num_constraints: 1659
at: bb46c735f0d1698aa6cf8637b23babcdf0df3ec6e64f4b2e7d3e86f6f461e961
bt: 859297637693ebdf41005288cf212906c1d7619049b4305d34d9dededb24b5c5
ct: 50293f70acfe4a8aadffa8b17c18b0411493c8760fc474dcdf26f5bc7d70ada4
output:
- input_file: i128.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 95a992f9baa8ae05f61ec38f6d21a9e89f819995f1a83419841f06e280f690d5
imports_resolved_ast: ef4d9e2ed70f25e499fe342442189e5bb6f8ad52ce8fedade9e12cd0a97b06e6
canonicalized_ast: ef4d9e2ed70f25e499fe342442189e5bb6f8ad52ce8fedade9e12cd0a97b06e6
type_inferenced_ast: d3b2effd142a931373677f62eba3e179791178b6c7bdd34071054e80e7e39f19
- output: []
initial_ast: 656588e753eb72edb9e3bde30e16df4fd81fc101eb8ccf9bfe572d5166e9b056

26
tests/expectations/compiler/compiler/integers/i128/ternary.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 896
num_constraints: 1024
at: 0830a3e788b536b36f271fadaadcc919281b2171d4e18814385b74f6820cb5c9
bt: 1fb9bfc22c01a54c08602e7f3883c19b00de1070aa9bad9e9234e322f9043711
ct: ee9facabe4c76f5eb89984d3c5cb15f92eaa0cc3b4bc4fdff261aeb36ad0101b
output:
- input_file: i128.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i128_rev.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 3b42fdbc16215a5c0e3eab7631532dda76c0a0e70dcb5c371728110490c04b3f
imports_resolved_ast: 4bdaf4198b69c9c74cb8b2a6c7f55620bf1170feb86bae7a6facc4a2e7557aa9
canonicalized_ast: 4bdaf4198b69c9c74cb8b2a6c7f55620bf1170feb86bae7a6facc4a2e7557aa9
type_inferenced_ast: f42af0eb2d23891c0ab9cfc58353414fed8370278868fe5224b8a3b56583c7fe
- output: []
initial_ast: 6ad007a9081030e9b3664f92e25c8c0f21903eef6dc6cd567254092d174a1b6b

20
tests/expectations/compiler/compiler/integers/i16/add.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 172
num_constraints: 173
at: 6b89cd61c27d609100734788caaf250a61c4e65e8bb53a70cb9a67bd3970d344
bt: 3685748e2150def12598827c6d3217b7665ad912fcf517afafed7dd933dd68a2
ct: acefb38d2e822ba8454f989fcdcfad22e9c15b0115cebecf3ec7f842412b0812
output:
- input_file: i16.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 99f96607c14de0fce0813cad8cd9e84653ba8fe288b109bd0e9001adaf5d82c1
imports_resolved_ast: dc1dbe71dc3b1e019851331b75c96751543c88b65a17429b53da6bc5feb1fb3a
canonicalized_ast: dc1dbe71dc3b1e019851331b75c96751543c88b65a17429b53da6bc5feb1fb3a
type_inferenced_ast: 887e275be95e7291f9acafcea8e2d14871cebe50c671be7978ad54120e26ef4a
- output: []
initial_ast: 9ebcf93a3a1c925cbda80ad0a4f715a975500a8a08698ef25e8c980bc5c074fc

17
tests/expectations/compiler/compiler/integers/i16/console_assert.leo.out
View File

@ -2,18 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 63
num_constraints: 63
at: 781fbf42db29f7fa9c21d99e21d8f011ec22b33ad26d3f80438687aafd462285
bt: abee7b67c55170fc3341444203a9a70e68690dce751aa36d3e91f1cf7ceef73d
ct: 51c18ee4216feeb01d0b0d661dfeb294e7e100873586edf79be89c8b54d9e168
output:
- input_file: i16.in
output:
registers: {}
initial_ast: e8362061274eedee498ed14c69d5b9de596a036962cb442fd5a4aab49696399c
imports_resolved_ast: f30e735f5103336e1f3f474190ff3c6a47b761863ca7bae71d6aa6a08092a70c
canonicalized_ast: fb3b4c2c850bb43869348b440f896cf3112578fb7aca1fd3870e90eefc31cbdd
type_inferenced_ast: 7555df3659bd5172d1397c9116111090c7fd449faa8b80a79ee1e7bae934a332
- output: []
initial_ast: dffc9c5f763636aadaeb4ccf27b66f91ddb298ded717e90de09e8fd48f61a29e

20
tests/expectations/compiler/compiler/integers/i16/div.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 4358
num_constraints: 5446
at: 285c49252166e044a1648d7cdeaa3975efca0e746efd365d2f170900157df8b9
bt: b7dcf6f446108df31801263f54f0d504800d85f341baa945f13eb2dbbbbe4851
ct: 6743f276428e33d909885898f76d747836254decaf153021c75df8d62b890e41
output:
- input_file: i16.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 7756afceadfc7fa1dc9afab299d27601551ac69b297fd9a223226ddfb753a020
imports_resolved_ast: 61bcd95ca9c803ddf141cc2e738ccdb94205c819dc2a607364bddf879522ff5d
canonicalized_ast: 61bcd95ca9c803ddf141cc2e738ccdb94205c819dc2a607364bddf879522ff5d
type_inferenced_ast: 53f823da78e8717691e1e50984326ee995c287b3c96d93a291ee22236c3f175d
- output: []
initial_ast: 69e960fb1923255efda2ba99dc07c01cd2e8d38cbf63363f7112f9c4e9efc768

20
tests/expectations/compiler/compiler/integers/i16/eq.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 65
num_constraints: 65
at: 8c8b795ef4142f2651625b90b3624d24de5138c3fb0981288a8cc5e12bf31f82
bt: eba2113bdda3d667d9e8c87f545fe4e2a0143b18a3fff0c1aaa46dd376ed1735
ct: f037d279ccea3ca689e05801ec3ba0053b5ce66a1763d4620262ea9b69873008
output:
- input_file: i16.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: e3cc75ff118c1332194bf933cf9ee2d416c9e5ed11566e7d3f3bfd34446ad70b
imports_resolved_ast: 1d5cb688ec58ebfccab6483b1b148d2958d8f4cfa4264c403a3073a887a2b446
canonicalized_ast: 1d5cb688ec58ebfccab6483b1b148d2958d8f4cfa4264c403a3073a887a2b446
type_inferenced_ast: 8a2e833a9cee516de296cfc8b6fb5ca73250c6a508705f745a3310a49ba4cdeb
- output: []
initial_ast: a6cb462814fae8bb80601fdc772c4ba3831c35b069b235e01f1ad8fe857d879d

26
tests/expectations/compiler/compiler/integers/i16/ge.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 113
num_constraints: 113
at: aacaa02fab172aad56801a9785e4265f42a5b7a8a90f3277508d9bdf9b71739e
bt: dc20f75204b1fb858e1971441f24a4aa1780e545581c55ff3d52cec41be65b79
ct: 92784334fb47e5a53eb972ec42d95f97470117bb6839cf2d46e8fcbd38a662f9
output:
- input_file: i16_e.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i16_g.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 71d93023a409ba4ce05685f7f02c994d17690e2fcced5dcf1f9fb3e6418a509b
imports_resolved_ast: c366e2b45215eb2a95fe3f0f655f569da6e03c86bc577550dacfc05d70f3d33d
canonicalized_ast: c366e2b45215eb2a95fe3f0f655f569da6e03c86bc577550dacfc05d70f3d33d
type_inferenced_ast: c59992698eb83b75604521bc83c1e21a48077a65584e1b58a33f2971906048e5
- output: []
initial_ast: 5351c113c7e45be9e1ce080daaa2f8c8944d9cc551146e0da6bbfae5eb69ed01

26
tests/expectations/compiler/compiler/integers/i16/gt.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 113
num_constraints: 113
at: 5c1bf4b2c0dcee44497206b68fafb1e2e98bc020688d260da3730723c0c90dd8
bt: 07da85fcfccc58758d043e27b0aab5a749760c644824684c13befde258deb78c
ct: 92784334fb47e5a53eb972ec42d95f97470117bb6839cf2d46e8fcbd38a662f9
output:
- input_file: i16_g.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i16_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: abaf30eaa93168e2278ad57b590f35a40305c381c4f960f4e5250be97f36c3ba
imports_resolved_ast: bf30f06fe2b71dfc9003637ea777a6d9c167e3c0463f0e23129652a430818b41
canonicalized_ast: bf30f06fe2b71dfc9003637ea777a6d9c167e3c0463f0e23129652a430818b41
type_inferenced_ast: bbeecdd0ee1d6f63ca5bb2ad65c123fd78c5f6720d257a64c2f2f869bbcff23f
- output: []
initial_ast: 31949f3b3950c34aadb02b7220d0b9ef6f088fc14bc9496ff1649d7dd3c44347

26
tests/expectations/compiler/compiler/integers/i16/le.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 113
num_constraints: 113
at: a38a17fb5f40313343215b604602dfb492eb06cc8ac81d7d75443663398eb105
bt: 34c1c5f1fd258fc5f18137e0cd367a6c3149958ec8b92123518e293db31afbe3
ct: 92784334fb47e5a53eb972ec42d95f97470117bb6839cf2d46e8fcbd38a662f9
output:
- input_file: i16_l.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i16_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: f88584dc5972b47adff02db485e2ed1cbd0543920b8bddc81825f78858abe7c8
imports_resolved_ast: aff8e32cea55a795d5cb6e75ac699d64b8efbf8b56b05c426fb9a02d39cab638
canonicalized_ast: aff8e32cea55a795d5cb6e75ac699d64b8efbf8b56b05c426fb9a02d39cab638
type_inferenced_ast: e56aed4642b5ef4a01fd4c081a84f5fc375e5729abbc8dd7a1445bff7294799f
- output: []
initial_ast: fcb3b9db14c713d885ec37a40aca86d034f1d12e85b22d103a20b7e181848e73

26
tests/expectations/compiler/compiler/integers/i16/lt.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 113
num_constraints: 113
at: 882216b2b7d92dafe18a2ba6eefed789ba0084c92957772d0b1e3797ac391d8f
bt: 564588048812d9300963caf70148f154c231faa3209aed2ee5f9dd51a31af0ef
ct: 92784334fb47e5a53eb972ec42d95f97470117bb6839cf2d46e8fcbd38a662f9
output:
- input_file: i16_l.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i16_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: cda07fb1513a03d04a2d3292755c983e8d88dafa79ab0b0fef4d16a3fe8afb5b
imports_resolved_ast: fd280f73552a8c4124bd29955251c327a3932e8459532b86ba99fe5425bfe8ca
canonicalized_ast: fd280f73552a8c4124bd29955251c327a3932e8459532b86ba99fe5425bfe8ca
type_inferenced_ast: 3478c50e629b52f5aeee33321a83cf1000f2fe1bb556140b351cdbb4142553fc
- output: []
initial_ast: 0058f607e4e76d621419f0378ced319e9bb7228e0af27793bb44f433369c23c3

23
tests/expectations/compiler/compiler/integers/i16/max.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: "../input/dummy.in"
output:
registers:
r0:
type: bool
value: "true"
initial_ast: ba7bfe3ce062ce779f8c5f5d61418493a3a2f80a4ac30340f220d71b41b6b39c
imports_resolved_ast: 0fe889ab132710a23334db606472bdae6b3ff34d2bf681af85aba7e062e6455d
canonicalized_ast: 0fe889ab132710a23334db606472bdae6b3ff34d2bf681af85aba7e062e6455d
type_inferenced_ast: 07e923fee2cc01fdab28ecc90382e7dbc334d8045eea0a66a86f29e5d31606ce
- output:
- input_file: "[main]\ny: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 3674d8249023145121ff35eb4d9e59b0ce79cda7e17f9f98b5dbaa6ba4f80cf2
symbol_table: 02a03bd789d65f3fdf169614383ffb75c91552cf605371c6b9911d71e8af847c
initial_ast: 4483b50dc6ddcc0b0335aa19ba2eb01397005bf0a921d62bed0c5ec35d9a0e20

23
tests/expectations/compiler/compiler/integers/i16/min.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: "../input/dummy.in"
output:
registers:
r0:
type: bool
value: "true"
initial_ast: b9611f22206d9b705c34836cffee572fcdb2e8c5ccd90e849a59f8adce458a9b
imports_resolved_ast: 8da6b2eda68cc06f39dd136e5c86e5849be8b81b5efb314f5b2f92c7a5ea6232
canonicalized_ast: 8da6b2eda68cc06f39dd136e5c86e5849be8b81b5efb314f5b2f92c7a5ea6232
type_inferenced_ast: 80ee1d0aff494fd6dc62ef54cdc3efb1ad3db8420a57853843b0f0bbb89a682f
- output:
- input_file: "[main]\ny: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 3674d8249023145121ff35eb4d9e59b0ce79cda7e17f9f98b5dbaa6ba4f80cf2
symbol_table: 3694da9bbe8a47ac5735ccc5678eaea27ef70acd77d772dde2631f00656a58f1
initial_ast: 58d7dbc3db636edf6a92ecce907f3930f9908136e7bee11c05ca4fd82ce51789

20
tests/expectations/compiler/compiler/integers/i16/mul.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 6144
num_constraints: 6145
at: a82b875e925052eba2aa8b33aaa6a654c144148e94e18bbe9649dcdd1fc0ad71
bt: cd23bca179b84ca9238460e8de4ec0c0afdc0ce1e3d6669329fc4baf08e7e0db
ct: f60e073d0353b71ab07769daa585ce03799bb2f4095a0dda5f9009b4f42162ed
output:
- input_file: i16.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: d62af4365da48b13e9df51f8b7a3b8b3f609ab764b415bb99a094ea1a8fc7a2e
imports_resolved_ast: 0cda3017d008096b443c02b8c8e491bd1b91c9f1f487d8486a369adbadf41287
canonicalized_ast: 0cda3017d008096b443c02b8c8e491bd1b91c9f1f487d8486a369adbadf41287
type_inferenced_ast: b6f3b0f420a47508fe624ff37fc5640350a7f8d564c6fba2b7f6d247b7ddcaa8
- output: []
initial_ast: 7a0a6c7ece2f9c1a51f97c6a71b8c60a527329c30a3957185c2bc53b2fc00001

26
tests/expectations/compiler/compiler/integers/i16/ne.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 65
num_constraints: 65
at: 83a4d089927a9811a9d4ed5b3ee2e50e395cd598de865653be04a2c51904b072
bt: 30bc7cfbc53a2e928ca0310b6041f1f1548ad7c1197ffc9301b46522122e5561
ct: f037d279ccea3ca689e05801ec3ba0053b5ce66a1763d4620262ea9b69873008
output:
- input_file: i16_ne.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i16_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: ab347fb23adc7386d049a372c97636bf7ad8379e4212401feb2af3e9aba9ee9b
imports_resolved_ast: d9278f9252b3bdbbb88c2af4a1aa1d969524a99db8f126c312e781a9dcee19cd
canonicalized_ast: d9278f9252b3bdbbb88c2af4a1aa1d969524a99db8f126c312e781a9dcee19cd
type_inferenced_ast: 32585f870fcc610d1d54794b2a1487159d532e691839b24d0e026ca3f4003635
- output: []
initial_ast: 571a0fb0e0122a7ecb2f631c44fd426c4b165d3610d81481fb395a3391175897

26
tests/expectations/compiler/compiler/integers/i16/negate.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 93
num_constraints: 93
at: 29988ea86584610f4511315204ed49c45d0303c44e0fb59c0df19dc048cee369
bt: 9bba1722080b8c396e72a645c5ca7dff2943c0b29a741569acdba3887e40c8af
ct: 4f89ea4838bc4544e2767b7dc68a1e0fa0649d7401bb7ae8292bd6aa654eda28
output:
- input_file: i16.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i16.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 14634c6a1f222f0b83d91a1d95124a718ae34e4bd2109bae5fbfbf68bc2ee886
imports_resolved_ast: fd9397c59e2639310f0de7f048d81e60fd839e8d20acc552c15af7b5eadeb7ec
canonicalized_ast: fd9397c59e2639310f0de7f048d81e60fd839e8d20acc552c15af7b5eadeb7ec
type_inferenced_ast: b74e7e036d01b01cc6d16201b20cf07aefb2d9d025be6f200234d0ba9a330e38
- output: []
initial_ast: 06c7e204e308b875e2e027bf9a98e175aea8140a6af146562343fa19dd5b0f44

20
tests/expectations/compiler/compiler/integers/i16/negate_zero.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: dummy.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: b3f714fb9e373dd75f75d07945f8ba3e62362d4b3ac8d5013554a3f46c2cbb4c
imports_resolved_ast: 6f4f21e3271f6b8a4db73fb3096fc9b1e83148464fe78177f11cf63b5f20881d
canonicalized_ast: 6f4f21e3271f6b8a4db73fb3096fc9b1e83148464fe78177f11cf63b5f20881d
type_inferenced_ast: af9335ce25e82348e7f8261ec93befca9574b1ee056eac9666feba6436551086
- output: []
initial_ast: 1e78dafdd49c39aa74bdd491b4511bfbb257c6499e18707612660cc63e700213

20
tests/expectations/compiler/compiler/integers/i16/sub.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 202
num_constraints: 203
at: 7b1b870d629fe64b117f0be092b7336e6b4149ac6778d0f4d02273e0c2b59a2a
bt: 035e3e8f741942f4683b2262c8f0fc75c0c5a89252c069ed956abce34019b988
ct: cd38769a0ae3aefd48815d80555886d23370399b29596b8433ad23be67afc55f
output:
- input_file: i16.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 00919354c09e704c845bdfddd56834f44235ef24c1ce44f5651bc892c6a11c86
imports_resolved_ast: 8bcd351f4dc60aa26755a094604468baee22cc5ab5d7e4059b00f2ecc88ff85e
canonicalized_ast: 8bcd351f4dc60aa26755a094604468baee22cc5ab5d7e4059b00f2ecc88ff85e
type_inferenced_ast: b35c8407548a49b7da95b7c442639da750c4e8d58b78dbedc6559e0b15b6ea88
- output: []
initial_ast: f384f22efa0623afef6b74e89df6e2e238aea9bc84a9d422c1ac7f8ff567fd38

26
tests/expectations/compiler/compiler/integers/i16/ternary.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 112
num_constraints: 128
at: b0a107f586de648c8446ae3246117de3b20ba9c0249d261f234106809d112f0a
bt: 0e5faacb5d80488eeda9e7fa79ddd96e54c010e0e98571449f79cad816cc18a2
ct: 2b3428d7c7335edc32ab219fe11c92e215d70a52c89434de349f4951561d5795
output:
- input_file: i16.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i16_rev.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 39f44e1206b330ac89617df226f2d3b9317214cf976689c6cc6f16e46a7a966d
imports_resolved_ast: 462ca17ca9eeb151f3ac567148ee8906555ebf15a52f124673b0eccc6d9a2e95
canonicalized_ast: 462ca17ca9eeb151f3ac567148ee8906555ebf15a52f124673b0eccc6d9a2e95
type_inferenced_ast: b0960a45a74143df7b8af02f70c7e0aff3cccc24c669a6b1c10d940fd4e9f172
- output: []
initial_ast: 062bd0e314de8e322f80a370fac6f2f23d8cad39581327ff0997c328793ecc64

20
tests/expectations/compiler/compiler/integers/i32/add.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 348
num_constraints: 349
at: 2fe67b488b0f96f2f6be7e96dc7f102984b0132232e452f44e40cad21a1dc5f3
bt: 8dd304125c8178327f11b0894be2788080258a5a80aab3c1df046fea9f262789
ct: 8b73986e71edfc8b716f535eaa069b04cc15502adbd166ae713df42cb9d37a3c
output:
- input_file: i32.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 625094bfb91d344d53609a8599b1da8496164ff42f888d30694cbe88cfc6ad64
imports_resolved_ast: acba46220d4bf574b5cadcd08c5e706ba836a1f5ea60909264f2671dd9ba1ddf
canonicalized_ast: acba46220d4bf574b5cadcd08c5e706ba836a1f5ea60909264f2671dd9ba1ddf
type_inferenced_ast: 47c211d717f70ef018a319b7b983d2294c214019da2ae8f536269016b3d51c99
- output: []
initial_ast: cf9129f53ff9903788b6c1dc51f1068af87f29e6ba40694f24648ef5c5e147b6

17
tests/expectations/compiler/compiler/integers/i32/console_assert.leo.out
View File

@ -2,18 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 127
num_constraints: 127
at: 051151c1ab89f2c0ff0fe5d336668c3fcd6dc4744d1f5b8e135dcb7bf6a6195c
bt: 6b92443726163ac0fc32f7c9edace0ec8369e793d24105d93d121cb0bd5c3128
ct: 7cb2d3f0ccfb9a2e747c6a05bdb52812c4539c836ff62c4e555fac13ef2084d4
output:
- input_file: i32.in
output:
registers: {}
initial_ast: 35901da0284aa67e84c2528297159dad9f35703579cfb9f84eeee7203de63454
imports_resolved_ast: 633371d562e45789e5d5fb1b2b03d509a387335be8ec6f7f3c4e07fce84326e2
canonicalized_ast: 42f4bd4729d2e23dfd1e5d243eeab2071149991087a55d26e5792c4ace943a58
type_inferenced_ast: 324ca8d20b5b654a896ebab2e3cebaf94e11a6b5f356db56413eb36798796a00
- output: []
initial_ast: 9e7038db9098b5bf35b833d84df26e3669094c94f59b72fe64593ac56623ac24

20
tests/expectations/compiler/compiler/integers/i32/div.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 16918
num_constraints: 21142
at: a8ca22c0da8166ef4f88e959be315231681516ee6113dff620637774f8e4a670
bt: e09097be6926888dddac4cd61c1b3419e05b5b700ba3acca116f6eb2c01cb0a4
ct: 13922ea4b7763c9228f5dfedfb0d8e2f7d5a3bbed934cd6df5ae99f4150222d2
output:
- input_file: i32.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 3cbf5acf0dc46b596e1d850503f6e55123384c70732e066dd741e909011b441e
imports_resolved_ast: 9d41a244e54b2eeeb436c53940a62ba25a25d6a798cb608ccf1aabb944006bd1
canonicalized_ast: 9d41a244e54b2eeeb436c53940a62ba25a25d6a798cb608ccf1aabb944006bd1
type_inferenced_ast: 9d7cad43ee246163c3473dc29e47d2ecdaaf1a81fd157ef451b4811b9036f18e
- output: []
initial_ast: a163bed0fb5969ce86f5ee3f27097c710163519a79148e06354a7ae52f598687

20
tests/expectations/compiler/compiler/integers/i32/eq.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 129
num_constraints: 129
at: 4ce4f2bf481c4f7e47396527999e129066d1f157413884f91ced3d2b525a3187
bt: e63628fc48d1e71ea44830c010e442f577239e29f7ffada0d8df34c28e67f107
ct: 9f4c72431c0c7c03e216195a071c971c53deed8e3bfce450bffb3a6fad7418d5
output:
- input_file: i32.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: e43a183197d03e486808de7216e96005515d88e76b0b7b7a4bb7f61a522535fa
imports_resolved_ast: d2c893cd8efdf6f7faee35e46ff09a52d24c46e546369c9d82880111bc43d4fe
canonicalized_ast: d2c893cd8efdf6f7faee35e46ff09a52d24c46e546369c9d82880111bc43d4fe
type_inferenced_ast: ff21b0c65b0bdaf5d27f2d3e7cf5964ab055f5a042357a000cfcc82c48874f5d
- output: []
initial_ast: ba62f96d9796deebf5cb8c68abe3265e0a0352a6ba500b3197a43ebc19436606

26
tests/expectations/compiler/compiler/integers/i32/ge.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 225
num_constraints: 225
at: fba74e6ed7ae0c0cf0bd2c874940e7e9daf6c7c4e08cf9359b31279433ec0ef5
bt: 3f23038cdf71876dea48b44b9cae993b3f649b628bcdaf6f1cb77bbafa92b600
ct: d7067f500143a40e015fd1f4447a4ea5b9ee6ebdf007e08be51772a8a2b672c3
output:
- input_file: i32_e.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i32_g.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: b0ab554f622a5c76f28a2a777a009a01b24c9fb665f801b2468b57b75e3a46e2
imports_resolved_ast: 464ad4da3fa21aea98ea10fce4018fa0f51ffa88ba3bd171159d1a49cb8ad2bc
canonicalized_ast: 464ad4da3fa21aea98ea10fce4018fa0f51ffa88ba3bd171159d1a49cb8ad2bc
type_inferenced_ast: a789cd193bedf2c5fcaab2d7ddd2a6600b90f5dc7a30349da91c739a25899764
- output: []
initial_ast: 0917cf6662e2ab5b494a69c4141fc78a4c581fdbf5454bb50c176a09e06da902

26
tests/expectations/compiler/compiler/integers/i32/gt.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 225
num_constraints: 225
at: fec1628688d454ab244e921b74f7f70ff6c7acf18280488dfb43cd0bb4bd70d2
bt: 02fd44d092923c1a89fc492a9660926934e03005d8c3fa5f42ae2a3fbd7048ea
ct: d7067f500143a40e015fd1f4447a4ea5b9ee6ebdf007e08be51772a8a2b672c3
output:
- input_file: i32_g.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i32_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 9ce39e6f7f121e21120326e36451f2ca7e88607a2c4ae92e3a60f93bc2c67d18
imports_resolved_ast: eef4fbedb52615283d4bd44a3d7d83506b0c8e999310a4ad3426dbc0c8eb6385
canonicalized_ast: eef4fbedb52615283d4bd44a3d7d83506b0c8e999310a4ad3426dbc0c8eb6385
type_inferenced_ast: dfc0c88a083d36146aa4140bdf2f822b6882898665bb01c94d4ac416ac057ac8
- output: []
initial_ast: 2173bf8f6a793f208d79405952c3181a946b32cba0e9e83fb904b90f60c97c68

26
tests/expectations/compiler/compiler/integers/i32/le.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 225
num_constraints: 225
at: 39f909848aee2ee744719f8692f58b9745aeaeededc431f1b06df839384bff07
bt: 4e75a3c5fd91239e6bf32d96c6a4a702e040e4a3bddcc282706ca76facb9e942
ct: d7067f500143a40e015fd1f4447a4ea5b9ee6ebdf007e08be51772a8a2b672c3
output:
- input_file: i32_l.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i32_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 5b9f03e7a6a01e5c744b765869cddacc6c37a675c09684d44966de47f58e8c18
imports_resolved_ast: 95c493e4807d9a45ded8d4aaf04e18a5aa6a53d3383efe12b5218d3f9e7d0fde
canonicalized_ast: 95c493e4807d9a45ded8d4aaf04e18a5aa6a53d3383efe12b5218d3f9e7d0fde
type_inferenced_ast: 71341b2152c00ed871849be705b76d7808788d5a5601b88c7de5c4a72fa90f0f
- output: []
initial_ast: b7a7ca7db84356eb19aa638e3b451da11b4a625b7d250e2de55126c07afadd5a

26
tests/expectations/compiler/compiler/integers/i32/lt.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 225
num_constraints: 225
at: fcca8f94beb99b6f86edd3f8c36b81043482e6c449fc4278d53d546c295810ed
bt: 26e3dae4bf8fe37424b8ef7cc60b6136809286a8e64736e63b8b5dfacf774c21
ct: d7067f500143a40e015fd1f4447a4ea5b9ee6ebdf007e08be51772a8a2b672c3
output:
- input_file: i32_l.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i32_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: d48f145cc263cc87999654deddaad46e50cd97b5b5c6f7c22cd2a3f72b288bd9
imports_resolved_ast: de4f7b1e75f65f649bec62b91000bc977f1585584b8d8add93d0086acd719561
canonicalized_ast: de4f7b1e75f65f649bec62b91000bc977f1585584b8d8add93d0086acd719561
type_inferenced_ast: 6a52fcf2ee7c3f6034bf01d073407cc239f4dca550b296f81482a5abc6ac0521
- output: []
initial_ast: 438315810d75e57e5fb24c9ff2526ccf6eeeefaf98216162aaf9d5ef7b845585

23
tests/expectations/compiler/compiler/integers/i32/max.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: "../input/dummy.in"
output:
registers:
r0:
type: bool
value: "true"
initial_ast: c69817689712c1263d087639fc0eae160c400b7d66894c86545d6fbffc38b498
imports_resolved_ast: c4fa3b1bee50c7ea67e32c9ccbb7123fa53c13c9481d9f74845edce613cc34c5
canonicalized_ast: c4fa3b1bee50c7ea67e32c9ccbb7123fa53c13c9481d9f74845edce613cc34c5
type_inferenced_ast: 81aa09e40277fc47b0207d619ce259358f644dbfd6d7833c9e1dfa59065acac3
- output:
- input_file: "[main]\ny: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 3674d8249023145121ff35eb4d9e59b0ce79cda7e17f9f98b5dbaa6ba4f80cf2
symbol_table: f7aef2ca0d768609e83ed03418e4cc7ce6114516d4adeb3b0a516b7cb85a984c
initial_ast: 75355c3c6f8e1fde6d8c9600170d912560351c5442cb033427ec4aaa1acefc56

23
tests/expectations/compiler/compiler/integers/i32/min.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: "../input/dummy.in"
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 5700de287e5342a5b9946e3f24896ed4c3605dfdec6f35080c8bd2d3e9dc4ced
imports_resolved_ast: ebc86747d263055eaae5628e281c5fd638d9497b91cae7efcf7950145eb6ad30
canonicalized_ast: ebc86747d263055eaae5628e281c5fd638d9497b91cae7efcf7950145eb6ad30
type_inferenced_ast: 551ce6384757ba7834ba75a34ca4ca1d48c1953324ec894dd627099cab415ffb
- output:
- input_file: "[main]\ny: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 3674d8249023145121ff35eb4d9e59b0ce79cda7e17f9f98b5dbaa6ba4f80cf2
symbol_table: 589e6d748d36d48303beede01181806027b03cff161f846f9d7975a658dbfbf0
initial_ast: 37e73ef8bc3214c269ff7034f05d0ec4402eaa225376a60f785ea5bba27be3fc

20
tests/expectations/compiler/compiler/integers/i32/mul.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 24576
num_constraints: 24577
at: 3f0c50eed51d601da1dd661e666f96fcf5285b7be20881d92b7fa14e6147c5fd
bt: fc2efd0d73e1d0feb345c15515e796fcd289003e5e388d35be464e3ee76a0cb5
ct: f720f62a8a58bc4a64c837cfad115c98d50ccfe3b208fb9fa346c5c17ff7ded4
output:
- input_file: i32.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: e1b55f63b5b7a7eca8759beba1d7276fed4caab5ec4d18edd2d5e3203c11a6cd
imports_resolved_ast: ebb3a175f900fead5eee3ace2863c2ce109b4c1356545eba4770276af2582d09
canonicalized_ast: ebb3a175f900fead5eee3ace2863c2ce109b4c1356545eba4770276af2582d09
type_inferenced_ast: 2dfa990585f3ffca7b525dd58e285f049cecfef1f9bdf0f32491bbe0fcdab190
- output: []
initial_ast: ee8e95c8a34b19e8993ac970b94b56dab2c31b7e54dc92b27128000e7d05191d

26
tests/expectations/compiler/compiler/integers/i32/ne.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 129
num_constraints: 129
at: 6cde17fb079861287679ad93d9ed9125cfc21000431bfeaf5a2054360ce51ef7
bt: 1178e67ab79eac96592f17313168c4300d53e89ab571025054d53d19dfdfd1b8
ct: 9f4c72431c0c7c03e216195a071c971c53deed8e3bfce450bffb3a6fad7418d5
output:
- input_file: i32_ne.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i32_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: e139f93b7d7cac2cb16d7f3bfb99cc672bce435c86f3fef08d617f40c954a1fd
imports_resolved_ast: b493f0a4d6f71f1b4817a9671d05a4448176381578aafe92814c5c2241091eb6
canonicalized_ast: b493f0a4d6f71f1b4817a9671d05a4448176381578aafe92814c5c2241091eb6
type_inferenced_ast: b81f804e4a18bd2dd5b544481d28e582c4f897fc4c2c8061436eecc3d3ff09cc
- output: []
initial_ast: 36333a73320637e60e5992db8f2c6cbf15a6958927a44a8e8a4bd4d6a79aa583

26
tests/expectations/compiler/compiler/integers/i32/negate.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 189
num_constraints: 189
at: 2254172298dcedafc294b068f855ab0dd689491362b1b490a8c95435e4b159da
bt: 244d201ae16e93cdd97ca56d698598a5a66e1bcb2794d58b5e24f6f9df9760a4
ct: 1607b4ad7556c35957a6cbce85868f0f82d2c65e55f13350ef81738caec6e235
output:
- input_file: i32.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i32.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 921ba20eaa9e9cf5a46d692c0893fd03605f64bf36c3d691edd43358b73cfa6f
imports_resolved_ast: 3bcb4e29b19fd9d3065ad1032a5cf876fc5b607f187c75bf0bd23d9985135366
canonicalized_ast: 3bcb4e29b19fd9d3065ad1032a5cf876fc5b607f187c75bf0bd23d9985135366
type_inferenced_ast: 34a2c014038324a928d0d2b2d0c31c64a5d758477f64782bdf58f39137782bad
- output: []
initial_ast: 1d82fb1de0617c8539255e7ba530cf7583bd799384d76e715da5053f822e976b

20
tests/expectations/compiler/compiler/integers/i32/negate_zero.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: dummy.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 9a77f3ae2b4c9ca610fb20c44c4cde2b7e0a6ddfc13ca3da931a6b46fd1d2e44
imports_resolved_ast: 7e81754934090b8f0fdf66c30d38025bb015424996163ab3c841960707169d63
canonicalized_ast: 7e81754934090b8f0fdf66c30d38025bb015424996163ab3c841960707169d63
type_inferenced_ast: 0a82f705dd8a224a771827e4f12a18da4217102c1e77229239863fec58950684
- output: []
initial_ast: cf7306f1290d301ed456ae3d68c35563475c18545a204dd332d877992677e466

20
tests/expectations/compiler/compiler/integers/i32/sub.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 410
num_constraints: 411
at: 3293cb0f2e38fae78ca837de736471f6e36a372f92282123f6082e07648b412b
bt: c342f65da421c48d402ba324062abbb064eb525a99fe5379fcb1654a33a11d68
ct: 8a37ed12cbab476be56f1dc175e38c689f5bde3909161865409085a34c4a19f1
output:
- input_file: i32.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 4a9829bc7a649236d8cbfce735f22e234f3db6e5d9cd56e0bc20903d759c3c51
imports_resolved_ast: c318a6e9e552604cfef71931071564c93619920da0526d288925c6f07b091da1
canonicalized_ast: c318a6e9e552604cfef71931071564c93619920da0526d288925c6f07b091da1
type_inferenced_ast: 7a1028b4efb34b703623bd02f3a0918bb09e29578821d24de69fbcdd3bb4251c
- output: []
initial_ast: b7e347f0b12557644f817848aabddd9c8da188d6289955cf88844a21714517ea

26
tests/expectations/compiler/compiler/integers/i32/ternary.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 224
num_constraints: 256
at: 45301188494f0c65b2e88eac9117ba7367e772ea34e9b8f34bf3d49dbd1dd067
bt: 35d9c47cfd4fc137760d0ee411c0b097541cab7aae2b0a9ea83b368328fe5c23
ct: 032da4c7df957d9ca89b5395be6e1c84cab7d19a78abe1b02bb37b26ca65b0e4
output:
- input_file: i32.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i32_rev.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 16c5c8505b1e4572e7bee37dfc50d118a1cd82f9ac9d3142f67c92997de2490b
imports_resolved_ast: f824e2d834ffb13df0c470aa34640ee20d7640ad27f4bd560e8393720da58364
canonicalized_ast: f824e2d834ffb13df0c470aa34640ee20d7640ad27f4bd560e8393720da58364
type_inferenced_ast: b72f76cb7166f17456dc9f5b47f8b3ac0deaf6f4f083dc8cf0ad005415803fcd
- output: []
initial_ast: 1d6cbecea691afadddc7e131dcbfb12848aa81f65a0800222800f2291b73ffba

20
tests/expectations/compiler/compiler/integers/i64/add.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 700
num_constraints: 701
at: cecef57cd6d6e05c1f08807f82c42ac9ab45def4542662ca606c2e8183f36c76
bt: dbea824d3f892b3f86e08d05b68eecdc0de998bcd12186475d90ede9dfc5dfd8
ct: 8bc1636c45d8da73bfa0c5a71972d9829c9954007eff5db6f8fa4672d5b57c4f
output:
- input_file: i64.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 255b75cbbacb5c9c2c6dd49471f10df5268cf83df9c8cf5ef6c047208a76a943
imports_resolved_ast: b06336dfc33748fd1019617e8cd889bfda30d8e0a8731a651eaa327470b1187d
canonicalized_ast: b06336dfc33748fd1019617e8cd889bfda30d8e0a8731a651eaa327470b1187d
type_inferenced_ast: 55fa816d64681ef3d1cb2efa5f21efefb8123631088e07a69fecb2e29c6087b7
- output: []
initial_ast: 4c8ecc77fb85464f37ed6510270912bab6d7f59d34c906a47eee5eba72e18b84

17
tests/expectations/compiler/compiler/integers/i64/console_assert.leo.out
View File

@ -2,18 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 255
num_constraints: 255
at: 68080cb19b62be7f91ee2118affb7b55ea272e15e17581869385053a5c6d3623
bt: 2c1d031e57e285b1277f2c37853fc7fdff23711e1147d7b26ed74d3acd28ceff
ct: 0b136215b60005ed17aa4eea76bc4e2b0349c0fecf57dc06f5dba31981f270d0
output:
- input_file: i64.in
output:
registers: {}
initial_ast: 7fcacc8d69d15138adc9cf57fc10d14075d30670cda5ffaa3486d480907ecdbf
imports_resolved_ast: 6d191954e51c30c96b42295b365c557ff41e9affcb50cb1fd993c8b4e70cf9ed
canonicalized_ast: 0eb4b219fa1b14b2d35c053c6142f3debb3f3fa08201567428677aa336914ac4
type_inferenced_ast: 75677745f4a61df148b71dd07d22b53841edc45ac9a1e35b1d3396ea7d3cfa8a
- output: []
initial_ast: 1bea4a8cacb4e61a75f4081614cd52b084cd2e2fe7ff0f1ec14930bd76c0f94b

20
tests/expectations/compiler/compiler/integers/i64/div.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 66614
num_constraints: 83254
at: 329edae9756f7bd721526c1b0790df530231fd3294f92161fb6c6b92036f03cd
bt: 81f681cc8f8cfc15fbecf76405b9a65ee9bf78492f8c012067a6a3db6efd466a
ct: 308cc563c21dc87ce980daf26ae9f4716b2e9f26517940e244ce3d98f488d280
output:
- input_file: i64.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 30c6f1e5714a6d834c459ab33932c263f3c97d9f7e1a413f9daca0a87ff8bb10
imports_resolved_ast: 8c2f46fec027579b617bb1bd0dd9bdc2b17817362890f3fd25df4619aea4a798
canonicalized_ast: 8c2f46fec027579b617bb1bd0dd9bdc2b17817362890f3fd25df4619aea4a798
type_inferenced_ast: d63ca8d209849df610679929bf65577fef01a1a16fccce0bf371ef6677d68af9
- output: []
initial_ast: 1ac553449dbba81518d78f57a0728f69efc8040ac83ee09516a99b52812d0ce5

20
tests/expectations/compiler/compiler/integers/i64/eq.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 257
num_constraints: 257
at: 30dc67aa22cadc6e5ec8c73e0096443263121e29adf46bb33ed310b07765ff6e
bt: 1aaee32179419b6185d75c5745bd13c7c8ba869bad0132405ef1b28915bfe5d9
ct: 8edd5528a862bbd5590cfbd0d52871e395cf73e3a22c70839571b36506fbe3a7
output:
- input_file: i64.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: d6147e8092d94583fa1f0981d71dc79ef2c877b8dad8eeda3d45f308354611b0
imports_resolved_ast: db17ff882f6b8ab86e752b59a122716c4f585c23a65ebfd3b9c28449d23dd074
canonicalized_ast: db17ff882f6b8ab86e752b59a122716c4f585c23a65ebfd3b9c28449d23dd074
type_inferenced_ast: 4d8d7555040230b27153a966cf9a706e0508c804c51841b7056c27f561577580
- output: []
initial_ast: 9d96dab7f2cf21a2358200798a2689f722d388fe23c58bc00f13feefc05328e0

26
tests/expectations/compiler/compiler/integers/i64/ge.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 449
num_constraints: 449
at: 04829ad53a315f620a66d1fc8152176c29a250b57c54482f7e2fba84cad444c4
bt: 46fa1dbc8f6cc62609913fe96ad20cff4ba8ba7ea886b3682c3b4dc9a491b334
ct: 7b765314986bd8a51a62dabdef866c5fe05ad9bf392fb0e25b7ce3b9969f81e1
output:
- input_file: i64_e.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i64_g.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 849578e5fdb50a1b03f862296b364b905ab43cd407955c80ccf677d741887688
imports_resolved_ast: 2d99676e2cb0001dda9d2a038c4f038e3dd3f11ba1deeebff2879f2d80cec1ab
canonicalized_ast: 2d99676e2cb0001dda9d2a038c4f038e3dd3f11ba1deeebff2879f2d80cec1ab
type_inferenced_ast: c5c45d02fafb725c30661e0ad9b9a7cf1207f3315fef863f635d96cd17e6ff60
- output: []
initial_ast: d051e63b0e248f8876e9d57ef905e0367a52fa9093bd2651ccbbf0312c7fafbc

26
tests/expectations/compiler/compiler/integers/i64/gt.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 449
num_constraints: 449
at: 2805d5c14f23da221eefbd223bafa37ae210f961594e020f8aeb1a9ff00d7287
bt: 3947204249ecf9b6f7339e9c6409daf25d626f7e807ac182d3222e61fb4499dd
ct: 7b765314986bd8a51a62dabdef866c5fe05ad9bf392fb0e25b7ce3b9969f81e1
output:
- input_file: i64_g.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i64_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 2e62333f498bc96d4cab38ff5c13ed61b06159e4077d6c551acb9186bff44d9b
imports_resolved_ast: 9351cd32e1382913137fb087f338ecb01923545cb280135032576f4aee56ba33
canonicalized_ast: 9351cd32e1382913137fb087f338ecb01923545cb280135032576f4aee56ba33
type_inferenced_ast: 8b1304091ebad20244441d586811e54fa9688f79a0da9fd1c8eb9d2f4f1197ef
- output: []
initial_ast: 3c6a6a8e102fd584ce5ec3e7bb33a944d13f7d2940b9f7dd62ccffd4497b1858

26
tests/expectations/compiler/compiler/integers/i64/le.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 449
num_constraints: 449
at: 228ee4529b5cacfbd2dfbe9fe20088c9e8de89c4f80fcca316cd4ed3830ff633
bt: b228ce69df9ccfd94eb2d43619a82e2720dc0b34666b6850f0cd42db04befdef
ct: 7b765314986bd8a51a62dabdef866c5fe05ad9bf392fb0e25b7ce3b9969f81e1
output:
- input_file: i64_l.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i64_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 4cbe66b4faa6f90f792df2c404d2a1a9ebf4b1f2c61be21751cf438d11984acb
imports_resolved_ast: c11552123f4f495d555b4ed8972f08f8ffbb8a9db7876ff0a9bf3d03a44f6cb9
canonicalized_ast: c11552123f4f495d555b4ed8972f08f8ffbb8a9db7876ff0a9bf3d03a44f6cb9
type_inferenced_ast: 2f5c29250ae6f083bc16ee9b2f7616f3f45ada6b518d2ca22f55043134b3f444
- output: []
initial_ast: a2708a17884e05a752fcac58df044096170c53df416cb7b5bf4e8d5228d7396d

26
tests/expectations/compiler/compiler/integers/i64/lt.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 449
num_constraints: 449
at: 639536c4b5bf6a7c935ad88f1b89a66819ee24afa34d949536ab84e9cddd7fa0
bt: fcbfd8b9b01e1754f1023d94765533fb9199baa19fddcb89a4d2a010e7844284
ct: 7b765314986bd8a51a62dabdef866c5fe05ad9bf392fb0e25b7ce3b9969f81e1
output:
- input_file: i64_l.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i64_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 859e9ca0927635af6e7da79a8a59f7b735a644965b1a555993c4d371c46a22c3
imports_resolved_ast: 5d3f74c3e66c83953582cc732801a6aae3e0038297d702d2e2a988ec4bec28bf
canonicalized_ast: 5d3f74c3e66c83953582cc732801a6aae3e0038297d702d2e2a988ec4bec28bf
type_inferenced_ast: e367a96ad3a120e7035e96f9f66eafd71eb88633294683d63afe40eceec0d162
- output: []
initial_ast: 3fa8bf29f62927c016e625eccec688057f0390f8fe50072598774df9d9e60447

23
tests/expectations/compiler/compiler/integers/i64/max.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: "../input/dummy.in"
output:
registers:
r0:
type: bool
value: "true"
initial_ast: bc0571788350649e89585280a26483cf015fd8ee2afd1e6cc695b082f68b5795
imports_resolved_ast: 4091dd17cce88b8bb3de9e995371172d534788e84446d959366c9d7e75aac562
canonicalized_ast: 4091dd17cce88b8bb3de9e995371172d534788e84446d959366c9d7e75aac562
type_inferenced_ast: 9207b20dc522fe8e0781ffed510bf8b056cf9a201d4212bd17ff3c3d74862640
- output:
- input_file: "[main]\ny: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 3674d8249023145121ff35eb4d9e59b0ce79cda7e17f9f98b5dbaa6ba4f80cf2
symbol_table: 75ce16952ea88c8095f3ec9d5d131eade5e4456304d0c9fa042076cfc60a9079
initial_ast: bdbcbd06abf74aef338c464844ddb855b785d00d9d78eede6cd188dbc3d2f7e2

23
tests/expectations/compiler/compiler/integers/i64/min.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: "../input/dummy.in"
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 83811eb3d8cc53f233cee3159bab98c47b1da8cae87a2553a9526b0a6fceb611
imports_resolved_ast: f9f17b4c71f4d805d5e24206d5db6e2cacc6368026bba5a22622d79416edc40c
canonicalized_ast: f9f17b4c71f4d805d5e24206d5db6e2cacc6368026bba5a22622d79416edc40c
type_inferenced_ast: dc5392b74d0805cc9648ff00df5f266cb0ae0606379e79e62c54c33e72f10cd6
- output:
- input_file: "[main]\ny: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 3674d8249023145121ff35eb4d9e59b0ce79cda7e17f9f98b5dbaa6ba4f80cf2
symbol_table: 3ad5b298e23acc3778e9c7f81fd66a5f46bc4b41e83cea6b72ca9128be6d99b4
initial_ast: 6c7a17921be4c17f4e50a9e3a4aaf47cde9fd1c9fd06705653ed8d3ad2b184c8

20
tests/expectations/compiler/compiler/integers/i64/mul.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 98304
num_constraints: 98305
at: bad40272ae6cda7f44d2b892d1768eee85552b506921982eef405d5cc8d70e43
bt: 2fc487f7ec79d8c33c89cf5c899ad0b56f7468af6aec96081b6f08344fbf872f
ct: 37717cfdc15b44be3cd83355ff38227c8abc7aa09152746fe4cd7f42ae31ea9f
output:
- input_file: i64.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 6f09da1337ed873f40341d791b25fd1184f9bd48d4b726d54f81eaa212428482
imports_resolved_ast: 6a64959ff1c7e05e9b53599f6cebe9bd067f3a4cf657769697f2bb188d0ce46a
canonicalized_ast: 6a64959ff1c7e05e9b53599f6cebe9bd067f3a4cf657769697f2bb188d0ce46a
type_inferenced_ast: e3f2d44f9fee75eb789388b6a5f6d794e400a6600aa267b8f3aa4614340db901
- output: []
initial_ast: 58c1234be63fc6d2e2622d64fdecacac6b657a7f08f5668c39c6f33793cbf910

26
tests/expectations/compiler/compiler/integers/i64/ne.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 257
num_constraints: 257
at: 2ba8d0827cc16bb5d0076549483425de1dd0da9b3fb06fd790c256ec8d1df36b
bt: 7abc1550aed02405fe1d0951da294ee11583b4215ddc3889429f16ac75604766
ct: 8edd5528a862bbd5590cfbd0d52871e395cf73e3a22c70839571b36506fbe3a7
output:
- input_file: i64_ne.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i64_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 996eb3cbab4bdff3f0cbb2b3875849c09df2737496c23aa02e6f865d5aa4559e
imports_resolved_ast: 92fc683fde9dccbc30d60dbbf6b3b143fd43fed6201e628a97d461f3ad728d4d
canonicalized_ast: 92fc683fde9dccbc30d60dbbf6b3b143fd43fed6201e628a97d461f3ad728d4d
type_inferenced_ast: 00bd6ea10e1e3fe863e384e536885a6ae4c5452074f91fb029d0d7d3a3f7c860
- output: []
initial_ast: 952f7cee27658adbfb5ebc545740bfd721b2752bd9ce1f54a2d01b4d579fff2c

26
tests/expectations/compiler/compiler/integers/i64/negate.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 381
num_constraints: 381
at: 417f4d29cfbc9a9a971f4d94932ac19b448b4b7407e37e0558c3e232b4dfa073
bt: f99ae12913da76b1006f5da90b82a67453e4ade0ae3c1102088527b9165abfc3
ct: e7cff3106d84b6f974711e728b4b6138785655ed58ad24bcd957a5fbbde6be62
output:
- input_file: i64.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i64.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 59a5a06198c05314c7f9e733bc4241ee5032b7a6c593993987874bcb9612f0e8
imports_resolved_ast: bc42e1e0d597e25165ed4d47b082480c682757dd954cbd95afe79d15f6340f17
canonicalized_ast: bc42e1e0d597e25165ed4d47b082480c682757dd954cbd95afe79d15f6340f17
type_inferenced_ast: 4504fc75eb44b0c17378cd59055d6bf02c6674284a425b5dce01a99f9bb63952
- output: []
initial_ast: 967ef98b19841f65c071e3a99b51e271eac151e6eb29dd005ac2bb4993e2eb5d

20
tests/expectations/compiler/compiler/integers/i64/negate_zero.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: dummy.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: f84b7637698c3b29daa85a754c3f9e5e88cf1531b67ce7a4708026490ccd4de8
imports_resolved_ast: 02773a2679c16464cf1661751dd71444b76360b2c494d4146e759474183acc47
canonicalized_ast: 02773a2679c16464cf1661751dd71444b76360b2c494d4146e759474183acc47
type_inferenced_ast: af6e26e1d5fc936ef953c0fe7dcc7d714d33d9974d14b7ba8c2d4345529dd295
- output: []
initial_ast: eee3b23e0df3c210153d3ee8b7d83f17c5fad1bf37708cd7affe1da27862c950

20
tests/expectations/compiler/compiler/integers/i64/sub.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 826
num_constraints: 827
at: 353e78ba99a7a4accd8ff4d7fee5562d844f55009ffb547ee95bc741f3b75bde
bt: b2855c9d479f9679702723e00941392e8c7e3b66b48b997c2ff7e575b3b2a33d
ct: def36d63bd06a167e8b411f9f7a6208bd5da2233b7e44755d8f7fa3d483be554
output:
- input_file: i64.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 152b827ccf2330f232290a37fa264862f6ba42097ea09f94ee170d4402a096d5
imports_resolved_ast: 34d24d3a7d5541705a4ab1fd70f60c024059b21d0ec7589fb853739b2ed7b544
canonicalized_ast: 34d24d3a7d5541705a4ab1fd70f60c024059b21d0ec7589fb853739b2ed7b544
type_inferenced_ast: 07e6e0ea85e1f02075700c02376fa7cbd5e02c2c404f367303ff5f8a8fe97bad
- output: []
initial_ast: 5276434ecb5659d594e5d0d70a79253788619f6d14588e3264ae8095e55d14b5

26
tests/expectations/compiler/compiler/integers/i64/ternary.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 448
num_constraints: 512
at: e36c9bfd01fbf30c1f31d53e2b19d1a83989e86701ba58838688174b9ad804d7
bt: edadcd06780bd97cb60d245565ce94697ee12b4d71ce9148f1546f1c4390b668
ct: f1bb709127145aae7603feda04afbc3e401fdf290c1d549be8d2d4b21ece9b58
output:
- input_file: i64.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i64_rev.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 97b751e7282f0d3edf9d1248c949175952c9c1c2510bc24005e5471a59158fd9
imports_resolved_ast: d395bca01bf820a93b424734090ec90cc72bc69f74800202738cbfd3b2ec829e
canonicalized_ast: d395bca01bf820a93b424734090ec90cc72bc69f74800202738cbfd3b2ec829e
type_inferenced_ast: b42bb0bcb6c3486ee92d7bd6903220081544e335df128edfa4137469794df9f5
- output: []
initial_ast: b3ca29cd4029ebf80b1e8b9f97674cccd70a003fa97ba5ddcb71bbefe1faaf95

20
tests/expectations/compiler/compiler/integers/i8/add.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 84
num_constraints: 85
at: 5d1a78f3ac820a4873a0602f69d7efb764135c6df25bfc4c182daee12402a595
bt: 85916f4efb04caeb618ad35bc96528d6aeffd742b574cb93ed22ffcd46c87751
ct: 846591a223fd860defb812adf90d4d103f16e168465e64986ac960819b4fae52
output:
- input_file: i8.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 9e5c65d701393ac0a10268ab685af928da8bcc834361be8ca83cc5778360907b
imports_resolved_ast: 0af291edad09bb357c6efba5eeab896e20af6e482ea09fb5a1e81775aaa1552e
canonicalized_ast: 0af291edad09bb357c6efba5eeab896e20af6e482ea09fb5a1e81775aaa1552e
type_inferenced_ast: 3135618ce43d9da9bcddf80d47a54953f0a3fb24a754a21e3910de8e500b925f
- output: []
initial_ast: e5b43164c337c686cc881208115e1bbadd1926c5fb388cb0d0592dd26c40bbb3

17
tests/expectations/compiler/compiler/integers/i8/console_assert.leo.out
View File

@ -2,18 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 31
num_constraints: 31
at: 8111e478f64beb722ec96fbd80076cb73b735813b20e8f2ed6e3c21febceaae7
bt: c2cfac5aa6e125cb6cde720b0598fef7933c4aa62926fe99405bf1c2829dd4ce
ct: a3fa97a403ebea95a47d7ded7c01cee45af74afbfa876c203e4e96f6054b8815
output:
- input_file: i8.in
output:
registers: {}
initial_ast: e2a747d71854c915b7ec8143e5a2522c64abb1ac971b10f63646806c48330c0c
imports_resolved_ast: 4111b88ee2439f09fa213ebe1aee411b0b3fd5545745988762c5f31aa94ff262
canonicalized_ast: 2cfac6ce73ea847246d0640e1fc53d685113cffef13ad3684ea554231adb4f85
type_inferenced_ast: 812707e0fa896e764c20cc922d6d2149cd57e7673817355248d5905a7d524dcc
- output: []
initial_ast: 2111ef1f907235b8847a756573741f8bace8e738c88355aa001c66b89c8dd3ea

20
tests/expectations/compiler/compiler/integers/i8/div.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1150
num_constraints: 1438
at: ea4e10bc92af056bb4b3797063565094853fe4ba595f03fd6d4a8a0fc30ca195
bt: a41852ab8ac16bc91220ddd5b2fd1dacf3bebb624715cf2c3dc53f5dd172da9b
ct: 0449683ea39f4822da71f08082f051f005ecf6b846ab99e48c6ab9ac5aaa75be
output:
- input_file: i8.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 345b9e2ba4e58d18156fadd9a4e592b23c08e447cb1d3d413b5cbebc9ddc161d
imports_resolved_ast: 04e8f8dfa028514252e6ba75c8404ae0f72068fd82a7a13bda66319bd9f94a7d
canonicalized_ast: 04e8f8dfa028514252e6ba75c8404ae0f72068fd82a7a13bda66319bd9f94a7d
type_inferenced_ast: cd658feb37a4d359f2082a408102b15f541985ddaa4f1ddca36191ef1bc37909
- output: []
initial_ast: df29046329d8b12827f7885dfafee8a88abb17450a6fef94f5c192d582c170a9

20
tests/expectations/compiler/compiler/integers/i8/eq.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 33
num_constraints: 33
at: 424965aff58c62dd2bf38daa6426a3edcc19aa86bff3842fe4e73f743d37e1cb
bt: 03d1b6a8fdf9f73f595cf97261f1bae81000c89364c7af58f4f7f04aba7bac30
ct: 2aae7d6631260dcaafbfe9709ade84e75f5172a9baad48e108e7264d5fc17cf6
output:
- input_file: i8.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: e6a4b56d08ce550ccc3df10f722a416fa4a57958dab0197f2e0471de9a88b29d
imports_resolved_ast: 840d5bfba048bd015e84f2273bc270f87a104c63c2fd66aab01de6b2c341dd9f
canonicalized_ast: 840d5bfba048bd015e84f2273bc270f87a104c63c2fd66aab01de6b2c341dd9f
type_inferenced_ast: 247a519856e8c61041c87456e97e152a8a667ea6f122432947d15b1fc52eb234
- output: []
initial_ast: cb0fef3c670b24effcfe01867ad5997394daf09593f2e90f721070dcd88dbd6a

26
tests/expectations/compiler/compiler/integers/i8/ge.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 57
num_constraints: 57
at: 0c041f98ae4465c405aa6cf9dfb23157cee029c4ba12162385a49d230eaea769
bt: a55f11270f22104142bcee90897c9d9a8463b2fa9043957f85d82725f4bb075e
ct: 5a4c4f077603c1f7c4b31cf17fee281ab3cb7d2a9571be40a2f3a88577759477
output:
- input_file: i8_e.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i8_g.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: dd7874cd24a72b38a28274fc5c73a4887f01709224d3ec649a5b84d01b22d1e4
imports_resolved_ast: 2a21bf97279f45e1a86c89f2b63e88cbb4c02fcc918575483e40108a3d9357e2
canonicalized_ast: 2a21bf97279f45e1a86c89f2b63e88cbb4c02fcc918575483e40108a3d9357e2
type_inferenced_ast: 32bb7c5638a3f2ee19092539806c9b9844fb3289943fdd3f2515b7085a984941
- output: []
initial_ast: 308b765395012cf54485fea5aaf0d0c30709e893283637674269b795ec950923

26
tests/expectations/compiler/compiler/integers/i8/gt.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 57
num_constraints: 57
at: fd43cbc2bdaa1e99408e9ca7bd13774576b88c884f64a153fbd8ba2a710c0b42
bt: 4a959c05229442ca476ef20cfe1988fab90d5ca1b8f1c75f75719d475030c086
ct: 5a4c4f077603c1f7c4b31cf17fee281ab3cb7d2a9571be40a2f3a88577759477
output:
- input_file: i8_g.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i8_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: af8f08b489137ec841ff8fc8d2b9eacc8806b868334f5a1c591e435abc0e67aa
imports_resolved_ast: 1ba06738c37881bd0ed5f0ff669f4b8f8e83f848ee7f968b49cf55d975749476
canonicalized_ast: 1ba06738c37881bd0ed5f0ff669f4b8f8e83f848ee7f968b49cf55d975749476
type_inferenced_ast: 669bbd4e98f4a9ce88b8fec523b5a3286e3d10136728cd629c230087eff91699
- output: []
initial_ast: 7c3a35f6d43020992906b2987c7bf36afc0f7294551609cf8bf4d08a084933d9

26
tests/expectations/compiler/compiler/integers/i8/le.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 57
num_constraints: 57
at: 5a23ebca65ed09a730f98babb863f4b6c166d80b0e97790788b5b2c1ed0e3f8a
bt: 13756f3827f4f5f9c3d57ac57364366b9716cd3474416861f9aa9fe7a79206d0
ct: 5a4c4f077603c1f7c4b31cf17fee281ab3cb7d2a9571be40a2f3a88577759477
output:
- input_file: i8_l.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i8_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: ed656b4e9bea2e3fb358b5883b46624f0526c00f9ece18978830ec62244d7282
imports_resolved_ast: 07d47da4eb919089fa7859a2ffc9168cfb86cb39f567ad69b74401ce5373ff22
canonicalized_ast: 07d47da4eb919089fa7859a2ffc9168cfb86cb39f567ad69b74401ce5373ff22
type_inferenced_ast: be24c6ed70f0fe23a4312796d93657bcda2f9ed86d7b66280660b5c1f755fbc6
- output: []
initial_ast: e7cf5556592135d0f297a2e0f00c975b7687698a336319b50957a1e6012ecf84

26
tests/expectations/compiler/compiler/integers/i8/lt.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 57
num_constraints: 57
at: b93e8bf8fef6bb33a2552fc46f20f842010f187164d846f84b2a8618628c59a9
bt: 2edb58dffc1fb55bd54dd589b8fb4cf15292f14cc2e9d478bb372b57c958ead9
ct: 5a4c4f077603c1f7c4b31cf17fee281ab3cb7d2a9571be40a2f3a88577759477
output:
- input_file: i8_l.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i8_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 57e9e6349d8d717b6a7a4244131b7858498a32af6133045833cb036eba847a18
imports_resolved_ast: b4863dc8da140ce4b7b69b31f69efc5dd399b0cd3f04a08c80aa59ea24aefa65
canonicalized_ast: b4863dc8da140ce4b7b69b31f69efc5dd399b0cd3f04a08c80aa59ea24aefa65
type_inferenced_ast: 987d0de4baca01d6198547ac730cca2bbc1ac60369930334ef1b58730ecd1596
- output: []
initial_ast: be23f46d9d959cf0fcc74fc8bc3ef332f4e85b544982986b72a74ff3af9428b8

23
tests/expectations/compiler/compiler/integers/i8/max.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: "../input/dummy.in"
output:
registers:
r0:
type: bool
value: "true"
initial_ast: 25d63424a3ab2adc456da660fadc7751422808e146af3b30f86c390ba9a4abad
imports_resolved_ast: 437aae9f1989d3d75257373bdbf859297872cdc9f4bb98b1a0ec4dfd4fbc3eca
canonicalized_ast: 437aae9f1989d3d75257373bdbf859297872cdc9f4bb98b1a0ec4dfd4fbc3eca
type_inferenced_ast: 0442f083e24cb828bdf5ca6f729525fe30fcb750114698b3597219d04b845f6c
- output:
- input_file: "[main]\ny: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 3674d8249023145121ff35eb4d9e59b0ce79cda7e17f9f98b5dbaa6ba4f80cf2
symbol_table: 410dbb9797616020aa72144d062706b3ac336bc4888db56693fa752a813dd7cc
initial_ast: a9c5129daa4615455b1b0a136ff26c510cd1de168016d784579e72d0e15c8fcd

23
tests/expectations/compiler/compiler/integers/i8/min.leo.out
View File

@ -2,21 +2,8 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1
num_constraints: 1
at: 042610d0fd1fe6d6ac112138f8755752f44c7d2a00f1b5960574d6da5cda393f
bt: e97756698880ab7555a959a5fb5c6b4e15bd64612aa677adbfe2d0bd91f0a83c
ct: cf1cbb66a638b4860a516671fb74850e6ccf787fe6c4c8d29e9c04efe880bd05
output:
- input_file: "../input/dummy.in"
output:
registers:
r0:
type: bool
value: "true"
initial_ast: e01cfedfcfce4840c7fc091bdae84fd21218793a938ff0998bff61bd93a15566
imports_resolved_ast: d82f81c5c6097be667d6e97838f54022fd380171d1885726b73ccc482aeed771
canonicalized_ast: d82f81c5c6097be667d6e97838f54022fd380171d1885726b73ccc482aeed771
type_inferenced_ast: 77b9802ac870a9e1ecfc58ff21f4d3a1ad6fdc394d04320d78a190fa01ad1424
- output:
- input_file: "[main]\ny: bool = true;\n\n[registers]\nr0: bool = true;\n"
initial_input_ast: 3674d8249023145121ff35eb4d9e59b0ce79cda7e17f9f98b5dbaa6ba4f80cf2
symbol_table: 0311796b4aaecb087aa102152e237a3046ea6247df2826b604621c243ee75cbe
initial_ast: b72e21d2d5a92ea78c20e3a8846b8822eefac1605e4cd6917ea20bea5042f85e

20
tests/expectations/compiler/compiler/integers/i8/mul.leo.out
View File

@ -2,21 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 1536
num_constraints: 1537
at: 245902065d66fcdaff6db49bdd20f72f3e3e85ef6afcf2e12435ee63df39b543
bt: 0b017985fe9a0650c67351f1cc247871e9cc9e8c907f2cb47791c5ae1a5b324a
ct: 3fb41ccb74d402bc413944e9eb543a7333552052b7781eb257d2b861659d5a09
output:
- input_file: i8.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: b51ab5ebb70364329843ae0b793b46f41c5981347209dbfcf46e6be3bc97f193
imports_resolved_ast: e70bbff331d9deb9cd09a4e9342786de747f49566e4e64a30036a8ffe1a67d9b
canonicalized_ast: e70bbff331d9deb9cd09a4e9342786de747f49566e4e64a30036a8ffe1a67d9b
type_inferenced_ast: 9b9c70282c2d461eb2de1d3be1ba540e5ec98bee42d575a5fb04a2d39ed6f4ad
- output: []
initial_ast: 2658ce56907ebd80cea3db992eadc797eba68c41ec626dac01f32639bf4eb01b

26
tests/expectations/compiler/compiler/integers/i8/ne.leo.out
View File

@ -2,27 +2,5 @@
namespace: Compile
expectation: Pass
outputs:
- circuit:
num_public_variables: 0
num_private_variables: 33
num_constraints: 33
at: 5e88cd940df2c48a53e64a9b8589045ef766371daa5cc885df982902d9fcc754
bt: 10b52342f8c44eb9b3335b4df9ca4136de3ad35d5b580b2ab32ae5e10bcdf3b4
ct: 2aae7d6631260dcaafbfe9709ade84e75f5172a9baad48e108e7264d5fc17cf6
output:
- input_file: i8_ne.in
output:
registers:
r0:
type: bool
value: "true"
- input_file: i8_e.in
output:
registers:
r0:
type: bool
value: "true"
initial_ast: daf8c45002fe12b37fb3ce55808520fbb23508ad53a6def0d6cf7a8bd6d002b6
imports_resolved_ast: 457a2f6ce2dcd3875ec9f5ac87377584602dd2c3febf616f6b1fbb563c7c8601
canonicalized_ast: 457a2f6ce2dcd3875ec9f5ac87377584602dd2c3febf616f6b1fbb563c7c8601
type_inferenced_ast: d54385972b23b7f27997fb4b884438e38f7864872ff991738c5ded36a3d500c0
- output: []
initial_ast: d4166d094d27116439254b21da8fd34134b28363484ab9496913e0b8c2b47b12

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