Skip to content

Commit

Permalink
fixed test cases
Browse files Browse the repository at this point in the history
  • Loading branch information
@itamarreif
itamarreif committed Jan 27, 2021
1 parent c005b64 commit ae65eac
Show file tree
Hide file tree
Showing 12 changed files with 609 additions and 443 deletions.
2 changes: 1 addition & 1 deletion test/chain/tezos/lexer/samples/p008-bls12-381/bls12-381.hex
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
00000142020000013d0501076506630587035b00000002257806630587036800000002257905000764046c0000000a256175746f5f63616c6c0687035b000000042572756e050202000000fa037a072e020000002c032007430362002b0743035b00010388053d036d0449000000042572756e0743036a000005700003034d031b02000000be038907430362002a074303680100000003616263038805700003034c0346034c0316034205710002052900040321074303620003034c0322072f02000000080743035b0014032702000000020316034c032105710002034b0356072f02000000080743035b001403270200000000074303620003057000020322072f02000000080743035b00140327020000000203160342034c038a072f02000000080743035b001403270200000000037a034c0342038b034c0317034c0342053d036d0342
0000025a0200000255050107650765066303590000000c25636865636b526573756c7404820000000325667207650480000000032567310765048100000003256732066303820000000a256d756c526573756c7405000764076408650482000000032566720765048000000003256731048100000003256732000000042561646408650382038200000004256d756c0764046c00000007256e65676174650764065f0765038003810000000e2570616972696e675f636865636b046c0000000625746f496e740502020000019103210317034c0316072e02000000b4072e0200000078034c03210316034c031703210317034c0316057000030321057100040317031603120342034c034203210316034c031703210316034c031703210317034c0316057000040321057100050317031703120342034c0342034c034203210317034c031603210316034c03170570000303160312034c034203420200000030034c03210316034c031703210316034c031703160570000303210317034c0316033a0346034c0342034c0342034c034202000000c3072e020000001e0320032103210316034c031703170570000203170316033b0342034c03420200000099072e0200000018034c03210317034c0316031705700002037f0346034203420200000075032003210316031703300743035b008080808080808080808080808080808080808080808080808080808080aebfbbd5fc95da0903190325072c020000000002000000310743036801000000264661696c656420746f2063617374206669656c6420656c656d656e7420467220746f20496e740327053d036d0342
249 changes: 195 additions & 54 deletions test/chain/tezos/lexer/samples/p008-bls12-381/bls12-381.micheline
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,80 +5,221 @@
{
"prim": "pair",
"args": [
{ "prim": "option", "args": [ { "prim": "ticket", "args": [ { "prim": "int" } ] } ], "annots": [ "%x" ] },
{ "prim": "option", "args": [ { "prim": "ticket", "args": [ { "prim": "string" } ] } ], "annots": [ "%y" ] }
{ "prim": "pair", "args": [ { "prim": "option", "args": [ { "prim": "bool" } ], "annots": [ "%checkResult" ] }, { "prim": "bls12_381_fr", "annots": [ "%fr" ] } ] },
{
"prim": "pair",
"args": [
{ "prim": "bls12_381_g1", "annots": [ "%g1" ] },
{
"prim": "pair",
"args": [ { "prim": "bls12_381_g2", "annots": [ "%g2" ] }, { "prim": "option", "args": [ { "prim": "bls12_381_fr" } ], "annots": [ "%mulResult" ] } ]
}
]
}
]
}
]
},
{
"prim": "parameter",
"args": [ { "prim": "or", "args": [ { "prim": "unit", "annots": [ "%auto_call" ] }, { "prim": "ticket", "args": [ { "prim": "int" } ], "annots": [ "%run" ] } ] } ]
"args": [
{
"prim": "or",
"args": [
{
"prim": "or",
"args": [
{
"prim": "pair",
"args": [
{ "prim": "bls12_381_fr", "annots": [ "%fr" ] },
{ "prim": "pair", "args": [ { "prim": "bls12_381_g1", "annots": [ "%g1" ] }, { "prim": "bls12_381_g2", "annots": [ "%g2" ] } ] }
],
"annots": [ "%add" ]
},
{ "prim": "pair", "args": [ { "prim": "bls12_381_fr" }, { "prim": "bls12_381_fr" } ], "annots": [ "%mul" ] }
]
},
{
"prim": "or",
"args": [
{ "prim": "unit", "annots": [ "%negate" ] },
{
"prim": "or",
"args": [
{ "prim": "list", "args": [ { "prim": "pair", "args": [ { "prim": "bls12_381_g1" }, { "prim": "bls12_381_g2" } ] } ], "annots": [ "%pairing_check" ] },
{ "prim": "unit", "annots": [ "%toInt" ] }
]
}
]
}
]
}
]
},
{
"prim": "code",
"args": [
[
{ "prim": "UNPAIR" },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DROP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "43" } ] },
{ "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "1" } ] },
{ "prim": "TICKET" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "SELF", "annots": [ "%run" ] },
{ "prim": "PUSH", "args": [ { "prim": "mutez" }, { "int": "0" } ] },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "TRANSFER_TOKENS" },
{ "prim": "CONS" }
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "4" } ] },
{ "prim": "CDR" },
{ "prim": "CAR" },
{ "prim": "ADD" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "4" } ] },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "5" } ] },
{ "prim": "CDR" },
{ "prim": "CDR" },
{ "prim": "ADD" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "CAR" },
{ "prim": "ADD" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "CAR" },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "MUL" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" }
]
]
}
],
[
{ "prim": "READ_TICKET" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "42" } ] },
{ "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "abc" } ] },
{ "prim": "TICKET" },
{ "prim": "DIG", "args": [ { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "SOME" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "PAIR" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "GET", "args": [ { "int": "4" } ] },
{ "prim": "DUP" },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "3" } ] },
{ "prim": "SWAP" },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "20" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "DUG", "args": [ { "int": "2" } ] },
{ "prim": "SUB" },
{ "prim": "ISNAT" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "20" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "PUSH", "args": [ { "prim": "nat" }, { "int": "3" } ] },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "EDIV" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "20" } ] }, { "prim": "FAILWITH" } ], [ { "prim": "CAR" } ] ] },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "SPLIT_TICKET" },
{ "prim": "IF_NONE", "args": [ [ { "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "20" } ] }, { "prim": "FAILWITH" } ], [] ] },
{ "prim": "UNPAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "JOIN_TICKETS" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" },
{ "prim": "NIL", "args": [ { "prim": "operation" } ] }
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "SWAP" },
{ "prim": "CDR" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "CDR" },
{ "prim": "CAR" },
{ "prim": "NEG" },
{ "prim": "PAIR" },
{ "prim": "SWAP" },
{ "prim": "PAIR" }
],
[
{
"prim": "IF_LEFT",
"args": [
[
{ "prim": "SWAP" },
{ "prim": "DUP" },
{ "prim": "CDR" },
{ "prim": "SWAP" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "DIG", "args": [ { "int": "2" } ] },
{ "prim": "PAIRING_CHECK" },
{ "prim": "SOME" },
{ "prim": "PAIR" },
{ "prim": "PAIR" }
],
[
{ "prim": "DROP" },
{ "prim": "DUP" },
{ "prim": "CAR" },
{ "prim": "CDR" },
{ "prim": "INT" },
{ "prim": "PUSH", "args": [ { "prim": "int" }, { "int": "35115637951021136697019058358166656987035571271296265805438287419849817743725" } ] },
{ "prim": "COMPARE" },
{ "prim": "EQ" },
{
"prim": "IF",
"args": [
[],
[ { "prim": "PUSH", "args": [ { "prim": "string" }, { "string": "Failed to cast field element Fr to Int" } ] }, { "prim": "FAILWITH" } ]
]
}
]
]
}
]
]
}
]
]
},
{ "prim": "NIL", "args": [ { "prim": "operation" } ] },
{ "prim": "PAIR" }
]
]
Expand Down

0 comments on commit ae65eac

Please sign in to comment.