balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Don't test exact compiler output

Browse Source
This commit is contained in:
Tom Jack 2019-09-25 13:29:50 -05:00
parent 8a04ee8097
commit 1f8a801ed9
1 changed files with 1 additions and 91 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

90
scripts/test_cli.sh
View File

@ -5,102 +5,12 @@ compiled_storage=$(./scripts/ligo_ci.sh compile-storage src/test/contracts/websi
compiled_parameter=$(./scripts/ligo_ci.sh compile-parameter src/test/contracts/website2.ligo main "Increment(1)"); compiled_parameter=$(./scripts/ligo_ci.sh compile-parameter src/test/contracts/website2.ligo main "Increment(1)");
dry_run_output=$(./scripts/ligo_ci.sh dry-run src/test/contracts/website2.ligo main "Increment(1)" 1); dry_run_output=$(./scripts/ligo_ci.sh dry-run src/test/contracts/website2.ligo main "Increment(1)" 1);
expected_compiled_contract="{ parameter (or int int) ;
storage int ;
code { {} ;
{} ;
{} ;
{ PUSH (lambda (pair int int) int)
{ {} ;
{} ;
{} ;
{ { { DUP ; DIP { {} } } ; CAR } ;
{ { { { DIP { DUP } ; SWAP } ; DIP { {} } } ; CDR } ;
{ PUSH unit Unit ;
DROP ;
{ { { DIP { DUP } ; SWAP } ; DIP { { DUP ; DIP { {} } } } } ;
ADD } } ;
{} ;
DIP { DROP } } ;
{} ;
DIP { DROP } } ;
{} ;
DIP { DROP } ;
{} } ;
{ PUSH (lambda (pair int int) int)
{ {} ;
{} ;
{} ;
{ { { DUP ; DIP { {} } } ; CAR } ;
{ { { { DIP { DUP } ; SWAP } ; DIP { {} } } ; CDR } ;
{ PUSH unit Unit ;
DROP ;
{ { { DIP { DUP } ; SWAP } ; DIP { { DUP ; DIP { {} } } } } ;
SUB } } ;
{} ;
DIP { DROP } } ;
{} ;
DIP { DROP } } ;
{} ;
DIP { DROP } ;
{} } ;
{ { { { DIP { { DIP { DUP } ; SWAP } } ; SWAP } ; DIP { {} } } ;
CAR } ;
{ { { { DIP { { DIP { { DIP { DUP } ; SWAP } } ; SWAP } } ; SWAP } ;
DIP { {} } } ;
CDR } ;
{ PUSH unit Unit ;
DROP ;
{ { NIL operation ;
DIP { { { { DIP { DUP } ; SWAP } ;
IF_LEFT
{ { { DUP ;
{ { { { DIP { { DIP { DUP } ; SWAP } } ; SWAP } ;
DIP { { DUP ; DIP { {} } } } } ;
PAIR } ;
DIP { { DIP { { DIP { { DIP { { DIP { DUP } ; SWAP } } ; SWAP } } ; SWAP } } ;
SWAP } } ;
EXEC } ;
{} ;
DIP { DROP } } ;
{} ;
DIP { DROP } } }
{ { { DUP ;
{ { { { DIP { { DIP { DUP } ; SWAP } } ; SWAP } ;
DIP { { DUP ; DIP { {} } } } } ;
PAIR } ;
DIP { { DIP { { DIP { { DIP { { DIP { { DIP { DUP } ; SWAP } } ; SWAP } } ; SWAP } } ;
SWAP } } ;
SWAP } } ;
EXEC } ;
{} ;
DIP { DROP } } ;
{} ;
DIP { DROP } } } } ;
DIP { {} } } } } ;
PAIR } } ;
{} ;
DIP { DROP } } ;
{} ;
DIP { DROP } } ;
{} ;
DIP { DROP } } ;
{} ;
DIP { DROP } } ;
{} ;
DIP { DROP } ;
{} } }";
expected_compiled_parameter="(Right 1)"; expected_compiled_parameter="(Right 1)";
expected_compiled_storage=1; expected_compiled_storage=1;
expected_dry_run_output="tuple[ list[] expected_dry_run_output="tuple[ list[]
2 2
]"; ]";
if [ "$compiled_contract" != "$expected_compiled_contract" ]; then
echo "Expected $expected_compiled_contract as compile-storage output, got $compiled_contract instead";
exit 1;
fi
if [ "$compiled_storage" != "$expected_compiled_storage" ]; then if [ "$compiled_storage" != "$expected_compiled_storage" ]; then
echo "Expected $expected_compiled_storage as compile-storage output, got $compiled_storage instead"; echo "Expected $expected_compiled_storage as compile-storage output, got $compiled_storage instead";
exit 1; exit 1;