Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: Add assert_eq keyword #2137

Merged
merged 59 commits into from
Aug 28, 2023
Merged

feat: Add assert_eq keyword #2137

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
59 commits
Select commit Hold shift + click to select a range
1520b6b
feat: add `assert_eq` builtin function
TomAFrench Aug 3, 2023
504c997
chore: add integration test for array equality
TomAFrench Aug 11, 2023
870f5e0
chore: update test cases to use `assert_eq`
TomAFrench Aug 20, 2023
f4f088f
chore: run `rebuild.sh` script
TomAFrench Aug 20, 2023
511f0dd
chore: move test cases to `compile_success_empty`
TomAFrench Aug 20, 2023
2e7ffff
feat: support calls to `std::assert_eq` from brillig
TomAFrench Aug 20, 2023
b00058e
chore: revert changes to `array_dynamic` test
TomAFrench Aug 21, 2023
c18e6c1
chore: remove usage of `expect` in `assert_eq`
TomAFrench Aug 21, 2023
bd553fe
chore: make `Instruction::Constrain` take two values
TomAFrench Aug 21, 2023
a80ad92
chore: make `assert_eq` a keyword
TomAFrench Aug 21, 2023
d2f6143
chore: update integration tests to use new keyword
TomAFrench Aug 21, 2023
3330067
chore: run `rebuild.sh` script
TomAFrench Aug 21, 2023
87b008e
chore: remove `Intrinsic::AssertEq`
TomAFrench Aug 21, 2023
fdd0af6
chore: merge spans in constrain statements
TomAFrench Aug 21, 2023
39eb976
chore: update tests for binary `Constrain`
TomAFrench Aug 21, 2023
d80cba1
Merge branch 'master' into assert-eq-builtin
TomAFrench Aug 21, 2023
7668ff5
Merge branch 'master' into assert-eq-builtin
TomAFrench Aug 22, 2023
6d6b3ef
chore: remove unwanted changes to integration tests
TomAFrench Aug 22, 2023
997efbe
chore: remove unnecessary equality in brillig gen
TomAFrench Aug 22, 2023
2518acc
chore: run `rebuild.sh` script
TomAFrench Aug 22, 2023
39792ba
chore: fix spans for `assert()` and `constrain`
TomAFrench Aug 22, 2023
4760d81
chore: add tests for `assert_eq` parsing
TomAFrench Aug 22, 2023
612ff28
chore: remove unwanted comment from test cases
TomAFrench Aug 22, 2023
7b3ba28
chore: remove testcase from `statement_recovery`
TomAFrench Aug 22, 2023
7c76abb
chore: replace more instances of `assert` with `assert_eq`
TomAFrench Aug 23, 2023
bbaee63
chore: run `rebuild.sh` script
TomAFrench Aug 23, 2023
a74800e
Merge branch 'master' into assert-eq-builtin
TomAFrench Aug 23, 2023
a118647
chore: run `rebuild.sh` script
TomAFrench Aug 23, 2023
f373495
Merge branch 'master' into assert-eq-builtin
TomAFrench Aug 24, 2023
6a5a3d3
Merge branch 'master' into assert-eq-builtin
TomAFrench Aug 25, 2023
2ef6d71
chore: display error instead of panicking on parser error
TomAFrench Aug 25, 2023
a6613e1
chore: add test cases to `statement_recovery`
TomAFrench Aug 25, 2023
368e34f
chore: more granular errors
TomAFrench Aug 25, 2023
aa94eaf
chore: update stale comment
TomAFrench Aug 25, 2023
39bc0e0
chore: automatically remove predicate during codegen
TomAFrench Aug 25, 2023
38519fb
chore: revert changes to integration tests
TomAFrench Aug 25, 2023
430eb8d
chore: cleanup references to `assert_eq`
TomAFrench Aug 25, 2023
ab24d3a
chore: formatting change
TomAFrench Aug 25, 2023
5c819c3
chore: formatting fix
TomAFrench Aug 25, 2023
b19a4e6
chore: fixup creation of boolean constants
TomAFrench Aug 25, 2023
7f42c35
chore: remove some overeager find-and-replace
TomAFrench Aug 25, 2023
dc2d42f
chore: ditto
TomAFrench Aug 25, 2023
0bc2b60
chore: fix comment
TomAFrench Aug 25, 2023
e8fe92a
chore: one more
TomAFrench Aug 25, 2023
e079b00
Update crates/noirc_evaluator/src/ssa/acir_gen/mod.rs
TomAFrench Aug 25, 2023
4021fa9
chore: break up `assertion_eq` into two
TomAFrench Aug 25, 2023
6505302
chore: fix `try_vecmap`
TomAFrench Aug 25, 2023
c58eedd
Merge branch 'master' into assert-eq-builtin
TomAFrench Aug 25, 2023
8e08755
chore: revert brillig optimization
TomAFrench Aug 25, 2023
b7aba4d
chore: run `rebuild.sh` script
TomAFrench Aug 26, 2023
1434982
Merge branch 'master' into assert-eq-builtin
TomAFrench Aug 26, 2023
955d513
chore: add integration test for using `assert_eq` on structs
TomAFrench Aug 26, 2023
b89897c
chore: small changes
TomAFrench Aug 26, 2023
b2b9124
chore: break up creation of statement in `assertion_eq`
TomAFrench Aug 27, 2023
148efa8
chore: remove unnecessary equality in `create_apply_function`
TomAFrench Aug 27, 2023
1978036
chore: remove redundant check in `Constrain` simplification
TomAFrench Aug 28, 2023
4dfff98
Merge branch 'master' into assert-eq-builtin
TomAFrench Aug 28, 2023
78a57fc
Merge branch 'master' into assert-eq-builtin
TomAFrench Aug 28, 2023
1c7883d
Merge branch 'master' into assert-eq-builtin
TomAFrench Aug 28, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions crates/nargo_cli/tests/compile_failure/assert_eq_struct/Nargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
[package]
name = "assert_eq_struct"
type = "bin"
authors = [""]
compiler_version = "0.1"

[dependencies]
6 changes: 6 additions & 0 deletions crates/nargo_cli/tests/compile_failure/assert_eq_struct/src/main.nr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
struct myStruct {}

// `assert_eq` should not allow asserting equality between types for which `==` is not defined.
fn main(x : myStruct, y : pub myStruct) {
assert_eq(x, y);
}
0 ...success/simple_program_no_body/Nargo.toml → ...s_empty/simple_program_no_body/Nargo.toml
View file
Open in desktop
File renamed without changes.
0 ...uccess/simple_program_no_body/Prover.toml → ..._empty/simple_program_no_body/Prover.toml
View file
Open in desktop
File renamed without changes.
0 ...uccess/simple_program_no_body/src/main.nr → ..._empty/simple_program_no_body/src/main.nr
View file
Open in desktop
File renamed without changes.
0 ...ests/execution_success/vectors/Nargo.toml → .../compile_success_empty/vectors/Nargo.toml
View file
Open in desktop
File renamed without changes.
0 ...sts/execution_success/vectors/Prover.toml → ...compile_success_empty/vectors/Prover.toml
View file
Open in desktop
File renamed without changes.
0 ...sts/execution_success/vectors/src/main.nr → ...compile_success_empty/vectors/src/main.nr
View file
Open in desktop
File renamed without changes.
2 changes: 1 addition & 1 deletion crates/nargo_cli/tests/execution_success/1_mul/target/1_mul.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/+2Z326CMBTGP2SIyCTLsmw3u+ARWv5ouZuPMjN8/0fYyFo5MHbFV6KJJyG1jf16/vT8NPoG4B2/Fvw8KzvmYr4azUM7D+0Dsb+zDzuqeabdeeDqKkzYTG3tUftyhszFgx0jsZbY0dWss7WoTSj2HsW+QIyB0DiKPVPvCf7RScSa258JX8DLiVqDfu9UJjTZDl8udVeEHH1TRXYO+GuksW6p9lXVHopWl/pTFc3J1KqqT3ujja5N/VWYsmxNZQ7NqTmoRldlq891U56t8BP8NGXI8bOwfuoHYswRsS7M/PmGcYQhbFh+Y8Jmai8OYwe2WKzdYczRXATGneM5ehjH8Adj10hsGD/jNmC8JsYcE+vCzJ9vGMcYwoblNyZspvbiMN7YUYLvDmOO5iIw7gqYo4dxAn8wdo3EhvELbgPGG2LMCbEuzPz5hnGCYWOz/MaEzdReHMZbO6Zi7Q5jjuYiMO4KmKOHcQp/MHaNxIbxK24DxltizCmxLleev0vMITHmlOjXI7gfZn+aHvxeZPos/d2J1+437NXEnfAATI3ROeM8egWqryLtPOhm4F1+X3Fn/BoN4HTNOZXfdtwfcmP7BvHx78jZGwAA
H4sIAAAAAAAA/+2VTW6DMBCFHxBCSNRUVbvokiPY/ASza45SVHL/I7SodhgisuIZCYmR0MhW5jE/zJcPAJ/4t+DvCa3PxDl8OEf2HNkHIr63L+vVPNPufeDqKkzYTG3tUfv+DtmLnfWxuEutdzPrbS9mE4nYq4gLhA+ExlXETP0meKKTijsXfxa5gNcTtQf9u1NnoclO+P5R90PIMCxVbM+Av0V61C3UpSy7Ou90ob9V3rSmUmXVXow2ujLVT26KojOlqZu2qVWjy6LTt6opblb4BX6WMuLkmds89Y5Yc0ycC7N/vmEcYwwbVt6YsJnai8PYgS0RdxuMOZqLwLhPPMMA4wT+YOwWiQ3jV6wDxntizQlxLsz++YZxgjFsWHljwmZqLw7jg/USfBuMOZqLwLgfYIYBxin8wdgtEhvGb1gHjA/EmlPiXJj98w3jFOPFZuWNCZupvTiMj9afxN0GY47mIjDuB5hhgPEJ/mDsFokN43esA8ZHYs0n4lx89S8kzzki1kzsn5JwCjH+M3L2C0vORXuIFwAA
Binary file modified crates/nargo_cli/tests/execution_success/1_mul/target/witness.tr
View file
Open in desktop
Binary file not shown.
2 changes: 1 addition & 1 deletion crates/nargo_cli/tests/execution_success/2_div/target/2_div.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/+1Z207DMAx1W3aDrduYEELwUCbxnvSytW/sU5jo/v8ToCLZTGkZU4+rTdTSlCZqTpxj146zJyJ6oS9xPn+uaQPWd0t9z/Q98yuLY9pX06pmoh0clpLU0xXSkwT0tHJl2h4bG5nW2r6QPuPMY3OfK/h02LNr3vF+ecepwRmxMTvfZ7oQjhPVJ7g/KJ9hohXW9mMsjBDQ4ePsmT5VkIdamzt6pFZxnK/DXEf6TYXZNk1UnGxXqU51kibvYRpFeRqn62ybrVWm4yjXuySLdgasB8TqA7Esn33GZ9lBmq5h7YfGvSOZQIT2I0fIj1Qz0Uj+uiT5Xc9LTJID0w7ZWJckMZitJMnCgAEdkuSQLitJDoFYI8InyRHJJsmBAO49/b8kOQTq1RZ/TffsAfc8AOp1TdhDxo8gSvjkjdSZ63vDnm1F6lb4hEAC0lRap8yjaIKSMtKNAO6YcM4vte8x3kaip2Ekp+VKA61rge0K8wvC1oLY+zU4FxPT+mzslAphw+bVVQgbOl4hVOF0FUK97CuEwoABHSoEn+pPtKqZaHuHjj7RPpDMRwk6kYVGTz0B7tkH2gXJX921jyvgv2fEpWTgbT2oT007Y2OnBPUlm1cX1Jd0PKhX4XRBvV72QX3KyCz6hSGD0prnXK77QKxHuozkMAXueQa0K4A//Rf+VDPRyP/TZkCsOWGTaxvXHUidub637Lm77miIOTeEonEXdN7XHcW+F3gbiV53IDnlpyZbUZXlA/vP+pfeJAAA
H4sIAAAAAAAA/+1YbW6CQBAdoCKI2jRN+68J9QS7fCj8q0epKd7/CC3prE4JW2N5a2pkEjLuhn07+2aYhzwT0Qt9m/d1+exTMfY744DHAV9d89i/sVfDTHs4LOUyTt9RnOQgTmN37CdiLmZvct9aKDgLxNrXHj498dvne4Jf7vEsOLGYM+uXIhbCcaJCgteDWgpMdMDaPIxtElI6PpwTHlMPeai9ZaHnal0UzSZrdK7fVVbvqlIV5W5d6UqXVfmRVXneVEW1qXf1RtW6yBu9L+t8z2ATIFYIxDJ8hoLPboEM3cPkD417T24aEbqOPEd1pIaZRvI3iuTPOK9RJKfsIzE3iiQG8yIi2SYwpaNIRnRdIhkBsWLCi2RMbkVy6gD3gW5PJCNgXK7488F5DoBnnpK7FwO00AaCSyCuC9HVDrEPe0guZuwTMXeOoG/FOpugb+m0oPfhjIJut4OgtwlM6SjoCdkFSA0zbT55oQXokS4jQH+MM+M49Qx45gSYFyR/tn9pXTFSwwwq5gAuXTbeizf1OfuFmDunqa/EOltTX9Hppt6HMzZ1ux2a+lyQ2Y7bRKadPf/z23UCxHqi6xCHOfDMC2BeAfz1NjC0ICA/fwP5U7LJ+dQvjp/4GQhcPBwAAA==
Binary file modified crates/nargo_cli/tests/execution_success/2_div/target/witness.tr
View file
Open in desktop
Binary file not shown.
2 changes: 1 addition & 1 deletion crates/nargo_cli/tests/execution_success/3_add/target/3_add.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/+1YW26DMBBcngkQ0b9+o5zA5hHMX3OUopL7H6FFNXRxjBo144pWsYQ2tvDsCw9DnojomT6H93H52hZs7hvzQM8DfZnD1/ZFW3HfkB4Qy8dhCUvq92JLh9izD59hhtpGbC1hfZzujbUdexGwvUe2z2PWYxhHtsd2j7eCk7C1aX/OYiFcTUTM/KIwc4aJDlhOhzFkxRznYyMLw2fgwDcKix/ISpzqemjLQVbyVZRdrxpRN/1JSSUb1byVqqoGVau267tWdLKuBnlpuuqiwXJyc7jN+v0wzlLHKUNgzhGwFxuv35xzAMw5AsYVA+s35nhFHgQnKYmMmce7Y7+nl4xveSYcEK8kw49ZR6fE7KpJOwe4e8I9/K7y3uN7tCCnLdd0TWGDY1bAl8i/UMWT8kwta7eo4jNd98pUxWf6XhXbcB6qeH3MqngsUkFfqjgl56pYAZTErBATwpFISlhVcgshbSDmiTQ6S7h/jpAybQ9s7fGZjsH8FULKaPmZPjayMHyiP5NSwhFSBozrQG4ON5qEMsISJ9HyP1RzvAPVuWfSjBUAAA==
H4sIAAAAAAAA/+1YXW7DIAx2SJofberDThD1BBBCA2/rURYtvf8RNjTIHEY0bTFVW9VSZIHg85/sD+UZAF7gS7LPjzndojUL1rlb5+4LhTn96jTfJiIjxGJ0WDwS+lZskRB7tsEQZuH0Du01qI7+bOm0rUWO7h7QvQzpDGEc0J3YmWwFp0F7/v4e+QJ0OeElskuFuUeY1A4L34wFSqZd20K2gc08gW0qLNyQkh/7fhq6SUjxxjszasV7NR610EJp9d5pKSfd68GMZuBG9HISZ2Xk2YE9QZrmDvP3Tz8756coCGPeEdYiVf4YTf7mmHPCmAnzx9cIkXiwaML474LEPCFUaO8vJHaCn7UKSewEv5NYDOdBYusyk5h1vIVvEqsgOYktmmjrQC+BbrhVcPmBdAU++6FhIu7e3ECqncbN/3hV02BeZCDVsHxV26S1gU2iV2G0ibYOpJrQrwbSNDf1EKqBdnACLH95hPIBeRc5PjsRAAA=
Binary file modified crates/nargo_cli/tests/execution_success/3_add/target/witness.tr
View file
Open in desktop
Binary file not shown.
2 changes: 1 addition & 1 deletion crates/nargo_cli/tests/execution_success/4_sub/target/4_sub.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/81WbW7DIAzlI0nbTesZqp4AB2jg366yaOn9j7BFheqVpv3RGKlIkTHCz882OHwKIb7EZcj/TyV5AF0Vuk66Tl85VJLfSZp1gyRgWXNybhr6iSz9mD6OwRvnx1OgQD743z5YOwUXhjjGwURydqKzj/acwNR6XpQnC6G/M/bVhwLMJskW1nZQx7y3S3KuhQbbI9hJkBIwjmCztEc+wNnBWrbfAxfBlxPTgV8uzD1gchOmfBkbSOasz4U8FD51Bd8Zi/NCrsX64IvRPMvfizz7xJMaxphbxroy5I8q5u8as2aMuWXk1TGevznGu+Yh2JsUcXJGvhuY55+MWjgTFRovicJPmceqjblWkTYVcLeC7/DXinvLX6Ob5vTOOcVXU355l+MPfrsSyMILAAA=
H4sIAAAAAAAA/81VXQ6DIAzmx7n54hmMJ6ACCm+7yszw/kfYzIppDNvD7JI1IZ8l9Gv7NeBFCNGIl8nnUogd8dXO1+hrXHtTiFdEc8xAEi5rRufSNCSwcDNDnIM3zs9jgAA++PsQrE3BhSnOcTIRnE2w+GgXJFPH64L8UWj9n7m3HIpwVognsteQOeazNeI6C01iexInCUrC0ZOY0hn5hqchezm+JbUIPk1MTfJycbaEk7tgyJexImKu/jrIbpdT/yB35uK8kEe5znw9mk/6fVnngHVCxdjziXGuDPoVHzDFo9/Ws2bsmVE/Qx85Jco/xwe80GZ6cQcAAA==
Binary file modified crates/nargo_cli/tests/execution_success/4_sub/target/witness.tr
View file
Open in desktop
Binary file not shown.
2 changes: 1 addition & 1 deletion crates/nargo_cli/tests/execution_success/5_over/target/5_over.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/+1YW26DMBAcIC+Imr9+VkpuYPM0f81Rigr3P0JLasgCRlHEbtRIWQlZRngYdr3jEQcA7/gL7/fy7Xgkc9/OA3uBPN/Gpx3VstAewWTEVXDEQmwtiN2/wyeYXd5X5F5ox65GbWxIbeiaM1nnkdEjGGeyxvWMN4MTOngeCBfw5URtwL7v1AHDfccJrrsmahNzxLWpVnYOyDXSGDdReZrWRVzrRH+puKxMptKsyo02OjPZd2ySpDapKcqqLFSp06TWTVYmjQV+g0xTBjw8Y8tTB4zfvGKsy6Pyp5bFRXgk8rcUa82YvwCOpgd/L3JypnypuHaHguvAEBBMjdF7xnkUFVSpIkkkagu+zS/13Vv+Gg3E6T/ndOxopTgzHiKSjtMIYg/c7M6O1Dne42ZPmNZq7GZPuO1mXTgvNzsfvZttC/iBq5sNMW0kblfC4STq5hLlDnwiEoLXlTxCkBg55w66TydIkR335N49grTGtFZjQVrjtiC5cF6CNB+9IEUkme18D3lBok20VJAi8AnSHjLNzf07IeLjqXzC0cc0fgAXnjWW6BQAAA==
H4sIAAAAAAAA/+1WbYqDMBB9xs/uQmEPsNDeIPEz+bc9ysrq/Y+w6zbaqUZKcQIt9IEMEfMcZzLv+Q7gA2cEf5ew8UDWwq5De4E8P+DLRrkNKiCcjLwSDmzkVh65p3cIwjnWPSL3djaOPRqQkN7QPSeyLyAxIBwnssf1TLDCs3PkuSe5gK8mMgH7uZN7XJ87TnI1DtFQmAMuQxXZNeBvkOa8hazLsmvyThXqW+am1ZUsq7bWSqtKVz+5LopOl7oxrWmkUWXRqb4yRW+J3+BnKEOePHObpwoZvzli7Iuv+gnm8yMes35ybkDwND8CD20+I7RH7ivziW2kgn6P+Ryx7NXcfI64bT4unpf5rGMyn6GBn7iYT4LlIIXM7+YQka7/h4nBJ0gJnk+QGHOuHek+nSClNmbk3j2CFGPZq7kgxbgtSC6elyCtYxKklBRzWGfwL0h0iLYKUgo+QcrgZ7i5//5TvjylIDkKLPELOATMzJcQAAA=
Binary file modified crates/nargo_cli/tests/execution_success/5_over/target/witness.tr
View file
Open in desktop
Binary file not shown.
2 changes: 1 addition & 1 deletion crates/nargo_cli/tests/execution_success/6/target/6.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/+2d+ZPNRxTFD2MYO7Hv+769N4t5Y1+DEARBEMswQxAEQRAEQRAEQRAEQRAEQRCEVOXfSt/SytU1v/Xpqm9XfV/Vrek7ynnnnvt8minz5l8A/+H1o5qp6vZjgeqrO32e09dw+nzb51vdfEc/z/6efPW5mo5GLacvcPraTl/H6es6fT2nr+/0DZy+odM3cvrGTv+e0zdx+qZO38zpmzt9C6dv6fStnL6107dx+rZO387p2zt9B6fv6PSdnL6z03dx+q5O3w1vXyPVrL485HXwZve17V7r2v3Vt3tqaPfR2ObexObbzObYwubVyubSxs7fzs7ZwT5fJ+u7i/XXzXrJw7uv2QK8fQ2+ee3XUP4LlP/upnqY6mmql6nepvqY6muqn6n+pgaYypjKmio0VWSq2FSJqYGmSk3lTJWZGmRqsKkhpoaaGmZquKkRpkaaGmVqtKkxpsbi3Uee/TjCfizKDCwurigtrMgWZRdlCsvKcyWZ4pLygblsLluSK1lSmCsqqsgV50rLystKM2XZ4qKKbGVJWVFl5vWjptLK+D2y3Ym+3uf5yuTZnbuPak6WGb9HlulZ+x2nzjXsx+pVvCZqBpgJzvO4OTao4nPUJw+xpHEBdMeD9+IPNfd4/o4ycF4gIOZQizh/D6KvCYgPTkzP2u8H6pzCyVNzgg2UrTsRyYaTzD2Rv6OgcCogzt+T6GsS4oMT07P2+6E6p3Dy1JxkA2XrTkay4SRzT+bvKIhX+RvexCp0fXOdgjigXJuYZS+ir6mID8pMz9rvR+qcQtlTc6oNlK07DcmGssw9jb+jIF7l8pgCPpSnIw4o1yFm2ZvoawbigzLTs/b7sTqnUPbUnGEDZevORLKhLHPP5O8oiFe5PKaDD+VZiAPKdYlZ9iH6mo34oMz0rP1+os4plD01Z9tA2bpzkGwoy9xz+DsK4lUuj1ngQ3ku4oByPWKWfYm+5iE+KDM9a7+fqnMKZU/NeTZQtu58JBvKMvd8/o6CeJXLYy74UF6AOKBcn5hlP6KvhYgPykzP2u8idU6h7Km50AbK1i1HsqEsc5fzdxTEq1weC8CH8mLEAeUGxCz7E30tQXxQZnrWfivUOYWyp+YSGyhbtxLJhrLMXcnfURCvcnksBh/KSxEHlBsSsxxA9LUM8UGZ6Vn7/UydUyh7ai6zgbJ1lyPZUJa5l/N3FMSrXB5LwYfyCsQB5UbELDNEXysRH5SZnrXfz9U5hbKn5kobKFt3FZINZZl7FX9HQbzK5bECfCivRhxQbkzMMkv0tQbxQZnpWfv9Qp1TKHtqrrGBsnXXItlQlrnX8ncUxKtcHqvBh/I6xAHl94hZFhJ9rUd8UGZ61n6/VOcUyp6a622gbN0NSDaUZe4N/B0F8SqXxzrwobwRcUC5CTHLIqKvTYgPykzP2u9X6pxC2VNzkw2UrbsZyYayzL2Zv6MgXuXy2Ag+lLcgDig3JWZZTPS1FfFBmelZ+/1anVMoe2putYGydbch2VCWubfxdxTEq1weW8CH8nbEAeVmxCxLiL52ID4oMz1rv9+ocwplT80dNlC27k4kG8oy907+joJ4lctjO/hQ3oU4oNycmOVAoq/diA/KTM/a77fqnELZU3O3DZStuwfJhrLMvYe/oyBe5fLYBT6U9yIOKLcgZllK9LUP8UGZ6Vn7/U6dUyh7au6zgbJ19yPZUJa59/N3FMSrXB57wYfyAcQB5ZbELHNEXwcRH5SZnrXf79U5hbKn5kEbKFv3EJINZZn7EH9HQbzK5XEAfCgfRhxQbkXMsozo6wjigzLTs/b7gzqnUPbUPGIDZeseRbKhLHMf5e8oiFe5PA6DD+VjiAPKrYlZDiL6Oo74oMz0rP3+qM4plD01j9tA2bonkGwoy9wn+DsK4lUuj2PgQ/kk4oByG2KWg4m+TiE+KDM9a78/qXMKZU/NUzZQtu5pJBvKMvdp/o6CeJXL4yT4UD6DOKDclpjlEKKvs4gPykzP2u/P6pxC2VPzrA2UrXsOyYayzH2Ov6MgXuXyOAM+lM8jDii3I2Y5lOjrAuKDMtOz9vuLOqdQ9tS8YANl615EsqEsc1/k7yiIV7k8zoMP5UuIA8rtiVkOI/q6jPigzPSs/f6qzimUPTUv20DZuleQbCjL3Ff4OwriVS6PS+BD+SrigHIHYpbDib6uIT4oMz1rv7+pcwplT81rNlC27nUkG8oy93X+joJ4lcvjKvhQvoE4oNyRmOUIoq+biA/KTM/a7+/qnELZU/OmDZStewvJhrLMfYu/oyBe5fK4AT6UbyMOKHciZjmS6OsO4oMy07P2+4c6p1D21LxjA2Xr3kWyoSxz3+XvKIhXuTxugw/le4gDyp2JWY4i+rqP+KDM9Kz9/qnOKZQ9Ne/bQNm6D5BsKMvcD/g7CuJVLo974EP5IeKAchdilqOJvh4hPigzPWu/f6lzCmVPzUc2ULbuYyQbyjL3Y/6OgniVy+Mh+FB+gjig3JWY5Riir6eID8pMz9rv3+qcQtlT86kNlK37DMmGssz9jL+jIF7l8ngCPpSfIw4odyNmOZbo6wXigzLTs/b7jzqnUPbUfGEDZeu+RLKhLHO/5O8oiFe5PJ6DD+VXCZ9b9vOqih35zp1vdcSvgEP+IAtI5PMd7a8JPGqZKjBV21QdU3VN1TNVH6//oDc01chUY1PycwTlx1bJT0mRN+WX94CWtxyVd7iTN1SS9++QbxeX706Ub4aR/3vdwT5fJ1PydXP5Mo38q6Cbmvl/ofZISdi1AAA=
H4sIAAAAAAAA/9Wa2U4CMRSGRxAdREREREQERNyXdham44prfA2J+P6P4DEe4vhfeOMx5jT5MvkglH5t7+DJ87xn73PMEDl++hnPgefBZ8EL7AWetwDz5/kzhcxrczDHPLgPXgRfAC+BL4KXwZfAK+DL4FXwFfAa+Cp4HXwNvAG+Dt4E3wBvgW+Ct8G3wDvgXfAe+DZ4H3wHfOB93ZEZnv9jfNyD6dkX+VxLfH5lPqcKn0eV973G+1vnfWzwfjV5X1rc3+bODn9fj9fd5/UNeC157/ud9b2vOzi9+7OZ9fuZ9e8Se8Q+cUAcEkfEMXFCnBJnhCEsERAhERExMSQSwhEpcU5cEJfEFXFN3BAj4pa4I+6JB+LR+z5y/BzxMzTDKJokwcSG9sUE6djFJorHQ2edjV38GrgwnLjIJek4TUxqo3Bi3+I0fDOfYy4zl/ndsLtyc5m/bJ4XbN5T0uwLNu8raS4KNh8oaV4QbD5U0lwSbD5S0rwo2HyspLks2HyipHlJsPlUSXNFsPlMSfOyYLNR0lwVbLZKmlcEmwMlzTXB5lBJ86pgc6SkuS7YHCtpXhNsHippbgg2J0qa1wWbnZLmpmBzqqR5Q7D5XElzS7D5QknzpmDzpZLmtmDzlZLmLcHmayXNHcHmGyXNXcHmkZLmnmDzrZLmbcHmOyXNfcHmeyXNO4LND0qaB4LNj4LNP/3Xo8vv/fdv/NPxDmmBfEL8IgAA
Binary file modified crates/nargo_cli/tests/execution_success/6/target/witness.tr
View file
Open in desktop
Binary file not shown.
Loading