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

Use correct file input for idempotent testing of CameLIGO contracts.

Browse Source
This commit is contained in:
Sander Spies 2020-06-08 13:48:54 +02:00
parent 4382c3c042
commit aee524ffc4
1 changed files with 34 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

68
src/test/contracts/dune
View File

@ -335,40 +335,40 @@
(rule (targets variant.religo_output2) (action (with-stdout-to variant.religo_output2 (run ligo pretty-print variant.religo_output -s reasonligo))) (deps variant.religo_output))
(rule (targets website2.religo_output2) (action (with-stdout-to website2.religo_output2 (run ligo pretty-print website2.religo_output -s reasonligo))) (deps website2.religo_output))
(rule (targets assert.mligo_output2) (action (with-stdout-to assert.mligo_output2 (run ligo pretty-print assert.mligo -s cameligo))) (deps assert.mligo_output))
(rule (targets address.mligo_output2) (action (with-stdout-to address.mligo_output2 (run ligo pretty-print address.mligo -s cameligo))) (deps address.mligo_output))
(rule (targets amount_lambda.mligo_output2) (action (with-stdout-to amount_lambda.mligo_output2 (run ligo pretty-print amount_lambda.mligo -s cameligo))) (deps amount_lambda.mligo_output))
(rule (targets amount.mligo_output2) (action (with-stdout-to amount.mligo_output2 (run ligo pretty-print amount.mligo -s cameligo))) (deps amount.mligo_output))
(rule (targets arithmetic.mligo_output2) (action (with-stdout-to arithmetic.mligo_output2 (run ligo pretty-print arithmetic.mligo -s cameligo))) (deps arithmetic.mligo_output))
(rule (targets attributes.mligo_output2) (action (with-stdout-to attributes.mligo_output2 (run ligo pretty-print attributes.mligo -s cameligo))) (deps attributes.mligo_output))
(rule (targets balance_constant.mligo_output2) (action (with-stdout-to balance_constant.mligo_output2 (run ligo pretty-print balance_constant.mligo -s cameligo))) (deps balance_constant.mligo_output))
(rule (targets basic.mligo_output2) (action (with-stdout-to basic.mligo_output2 (run ligo pretty-print basic.mligo -s cameligo))) (deps basic.mligo_output))
(rule (targets big_map.mligo_output2) (action (with-stdout-to big_map.mligo_output2 (run ligo pretty-print big_map.mligo -s cameligo))) (deps big_map.mligo_output))
(rule (targets bitwise_arithmetic.mligo_output2) (action (with-stdout-to bitwise_arithmetic.mligo_output2 (run ligo pretty-print bitwise_arithmetic.mligo -s cameligo))) (deps bitwise_arithmetic.mligo_output))
(rule (targets boolean_operators.mligo_output2) (action (with-stdout-to boolean_operators.mligo_output2 (run ligo pretty-print boolean_operators.mligo -s cameligo))) (deps boolean_operators.mligo_output))
(rule (targets bytes_arithmetic.mligo_output2) (action (with-stdout-to bytes_arithmetic.mligo_output2 (run ligo pretty-print bytes_arithmetic.mligo -s cameligo))) (deps bytes_arithmetic.mligo_output))
(rule (targets bytes_unpack.mligo_output2) (action (with-stdout-to bytes_unpack.mligo_output2 (run ligo pretty-print bytes_unpack.mligo -s cameligo))) (deps bytes_unpack.mligo_output))
(rule (targets check_signature.mligo_output2) (action (with-stdout-to check_signature.mligo_output2 (run ligo pretty-print check_signature.mligo -s cameligo))) (deps check_signature.mligo_output))
(rule (targets closure.mligo_output2) (action (with-stdout-to closure.mligo_output2 (run ligo pretty-print closure.mligo -s cameligo))) (deps closure.mligo_output))
(rule (targets comparable.mligo_output2) (action (with-stdout-to comparable.mligo_output2 (run ligo pretty-print comparable.mligo -s cameligo))) (deps comparable.mligo_output))
(rule (targets condition-annot.mligo_output2) (action (with-stdout-to condition-annot.mligo_output2 (run ligo pretty-print condition-annot.mligo -s cameligo))) (deps condition-annot.mligo_output))
(rule (targets condition-shadowing.mligo_output2) (action (with-stdout-to condition-shadowing.mligo_output2 (run ligo pretty-print condition-shadowing.mligo -s cameligo))) (deps condition-shadowing.mligo_output))
(rule (targets condition.mligo_output2) (action (with-stdout-to condition.mligo_output2 (run ligo pretty-print condition.mligo -s cameligo))) (deps condition.mligo_output))
(rule (targets counter.mligo_output2) (action (with-stdout-to counter.mligo_output2 (run ligo pretty-print counter.mligo -s cameligo))) (deps counter.mligo_output))
(rule (targets create_contract.mligo_output2) (action (with-stdout-to create_contract.mligo_output2 (run ligo pretty-print create_contract.mligo -s cameligo))) (deps create_contract.mligo_output))
(rule (targets crypto.mligo_output2) (action (with-stdout-to crypto.mligo_output2 (run ligo pretty-print crypto.mligo -s cameligo))) (deps crypto.mligo_output))
(rule (targets curry.mligo_output2) (action (with-stdout-to curry.mligo_output2 (run ligo pretty-print curry.mligo -s cameligo))) (deps curry.mligo_output))
(rule (targets double_michelson_or.mligo_output2) (action (with-stdout-to double_michelson_or.mligo_output2 (run ligo pretty-print double_michelson_or.mligo -s cameligo))) (deps double_michelson_or.mligo_output))
(rule (targets empty_case.mligo_output2) (action (with-stdout-to empty_case.mligo_output2 (run ligo pretty-print empty_case.mligo -s cameligo))) (deps empty_case.mligo_output))
(rule (targets eq_bool.mligo_output2) (action (with-stdout-to eq_bool.mligo_output2 (run ligo pretty-print eq_bool.mligo -s cameligo))) (deps eq_bool.mligo_output))
(rule (targets FA1.2.mligo_output2) (action (with-stdout-to FA1.2.mligo_output2 (run ligo pretty-print FA1.2.mligo -s cameligo))) (deps FA1.2.mligo_output))
(rule (targets failwith.mligo_output2) (action (with-stdout-to failwith.mligo_output2 (run ligo pretty-print failwith.mligo -s cameligo))) (deps failwith.mligo_output))
(rule (targets fibo.mligo_output2) (action (with-stdout-to fibo.mligo_output2 (run ligo pretty-print fibo.mligo -s cameligo))) (deps fibo.mligo_output))
(rule (targets fibo2.mligo_output2) (action (with-stdout-to fibo2.mligo_output2 (run ligo pretty-print fibo2.mligo -s cameligo))) (deps fibo2.mligo_output))
(rule (targets fibo3.mligo_output2) (action (with-stdout-to fibo3.mligo_output2 (run ligo pretty-print fibo3.mligo -s cameligo))) (deps fibo3.mligo_output))
(rule (targets fibo4.mligo_output2) (action (with-stdout-to fibo4.mligo_output2 (run ligo pretty-print fibo4.mligo -s cameligo))) (deps fibo4.mligo_output))
(rule (targets function-shared.mligo_output2) (action (with-stdout-to function-shared.mligo_output2 (run ligo pretty-print function-shared.mligo -s cameligo))) (deps function-shared.mligo_output))
(rule (targets guess_string.mligo_output2) (action (with-stdout-to guess_string.mligo_output2 (run ligo pretty-print guess_string.mligo -s cameligo))) (deps guess_string.mligo_output))
(rule (targets assert.mligo_output2) (action (with-stdout-to assert.mligo_output2 (run ligo pretty-print assert.mligo_output -s cameligo))) (deps assert.mligo_output))
(rule (targets address.mligo_output2) (action (with-stdout-to address.mligo_output2 (run ligo pretty-print address.mligo_output -s cameligo))) (deps address.mligo_output))
(rule (targets amount_lambda.mligo_output2) (action (with-stdout-to amount_lambda.mligo_output2 (run ligo pretty-print amount_lambda.mligo_output -s cameligo))) (deps amount_lambda.mligo_output))
(rule (targets amount.mligo_output2) (action (with-stdout-to amount.mligo_output2 (run ligo pretty-print amount.mligo_output -s cameligo))) (deps amount.mligo_output))
(rule (targets arithmetic.mligo_output2) (action (with-stdout-to arithmetic.mligo_output2 (run ligo pretty-print arithmetic.mligo_output -s cameligo))) (deps arithmetic.mligo_output))
(rule (targets attributes.mligo_output2) (action (with-stdout-to attributes.mligo_output2 (run ligo pretty-print attributes.mligo_output -s cameligo))) (deps attributes.mligo_output))
(rule (targets balance_constant.mligo_output2) (action (with-stdout-to balance_constant.mligo_output2 (run ligo pretty-print balance_constant.mligo_output -s cameligo))) (deps balance_constant.mligo_output))
(rule (targets basic.mligo_output2) (action (with-stdout-to basic.mligo_output2 (run ligo pretty-print basic.mligo_output -s cameligo))) (deps basic.mligo_output))
(rule (targets big_map.mligo_output2) (action (with-stdout-to big_map.mligo_output2 (run ligo pretty-print big_map.mligo_output -s cameligo))) (deps big_map.mligo_output))
(rule (targets bitwise_arithmetic.mligo_output2) (action (with-stdout-to bitwise_arithmetic.mligo_output2 (run ligo pretty-print bitwise_arithmetic.mligo_output -s cameligo))) (deps bitwise_arithmetic.mligo_output))
(rule (targets boolean_operators.mligo_output2) (action (with-stdout-to boolean_operators.mligo_output2 (run ligo pretty-print boolean_operators.mligo_output -s cameligo))) (deps boolean_operators.mligo_output))
(rule (targets bytes_arithmetic.mligo_output2) (action (with-stdout-to bytes_arithmetic.mligo_output2 (run ligo pretty-print bytes_arithmetic.mligo_output -s cameligo))) (deps bytes_arithmetic.mligo_output))
(rule (targets bytes_unpack.mligo_output2) (action (with-stdout-to bytes_unpack.mligo_output2 (run ligo pretty-print bytes_unpack.mligo_output -s cameligo))) (deps bytes_unpack.mligo_output))
(rule (targets check_signature.mligo_output2) (action (with-stdout-to check_signature.mligo_output2 (run ligo pretty-print check_signature.mligo_output -s cameligo))) (deps check_signature.mligo_output))
(rule (targets closure.mligo_output2) (action (with-stdout-to closure.mligo_output2 (run ligo pretty-print closure.mligo_output -s cameligo))) (deps closure.mligo_output))
(rule (targets comparable.mligo_output2) (action (with-stdout-to comparable.mligo_output2 (run ligo pretty-print comparable.mligo_output -s cameligo))) (deps comparable.mligo_output))
(rule (targets condition-annot.mligo_output2) (action (with-stdout-to condition-annot.mligo_output2 (run ligo pretty-print condition-annot.mligo_output -s cameligo))) (deps condition-annot.mligo_output))
(rule (targets condition-shadowing.mligo_output2) (action (with-stdout-to condition-shadowing.mligo_output2 (run ligo pretty-print condition-shadowing.mligo_output -s cameligo))) (deps condition-shadowing.mligo_output))
(rule (targets condition.mligo_output2) (action (with-stdout-to condition.mligo_output2 (run ligo pretty-print condition.mligo_output -s cameligo))) (deps condition.mligo_output))
(rule (targets counter.mligo_output2) (action (with-stdout-to counter.mligo_output2 (run ligo pretty-print counter.mligo_output -s cameligo))) (deps counter.mligo_output))
(rule (targets create_contract.mligo_output2) (action (with-stdout-to create_contract.mligo_output2 (run ligo pretty-print create_contract.mligo_output -s cameligo))) (deps create_contract.mligo_output))
(rule (targets crypto.mligo_output2) (action (with-stdout-to crypto.mligo_output2 (run ligo pretty-print crypto.mligo_output -s cameligo))) (deps crypto.mligo_output))
(rule (targets curry.mligo_output2) (action (with-stdout-to curry.mligo_output2 (run ligo pretty-print curry.mligo_output -s cameligo))) (deps curry.mligo_output))
(rule (targets double_michelson_or.mligo_output2) (action (with-stdout-to double_michelson_or.mligo_output2 (run ligo pretty-print double_michelson_or.mligo_output -s cameligo))) (deps double_michelson_or.mligo_output))
(rule (targets empty_case.mligo_output2) (action (with-stdout-to empty_case.mligo_output2 (run ligo pretty-print empty_case.mligo_output -s cameligo))) (deps empty_case.mligo_output))
(rule (targets eq_bool.mligo_output2) (action (with-stdout-to eq_bool.mligo_output2 (run ligo pretty-print eq_bool.mligo_output -s cameligo))) (deps eq_bool.mligo_output))
(rule (targets FA1.2.mligo_output2) (action (with-stdout-to FA1.2.mligo_output2 (run ligo pretty-print FA1.2.mligo_output -s cameligo))) (deps FA1.2.mligo_output))
(rule (targets failwith.mligo_output2) (action (with-stdout-to failwith.mligo_output2 (run ligo pretty-print failwith.mligo_output -s cameligo))) (deps failwith.mligo_output))
(rule (targets fibo.mligo_output2) (action (with-stdout-to fibo.mligo_output2 (run ligo pretty-print fibo.mligo_output -s cameligo))) (deps fibo.mligo_output))
(rule (targets fibo2.mligo_output2) (action (with-stdout-to fibo2.mligo_output2 (run ligo pretty-print fibo2.mligo_output -s cameligo))) (deps fibo2.mligo_output))
(rule (targets fibo3.mligo_output2) (action (with-stdout-to fibo3.mligo_output2 (run ligo pretty-print fibo3.mligo_output -s cameligo))) (deps fibo3.mligo_output))
(rule (targets fibo4.mligo_output2) (action (with-stdout-to fibo4.mligo_output2 (run ligo pretty-print fibo4.mligo_output -s cameligo))) (deps fibo4.mligo_output))
(rule (targets function-shared.mligo_output2) (action (with-stdout-to function-shared.mligo_output2 (run ligo pretty-print function-shared.mligo_output -s cameligo))) (deps function-shared.mligo_output))
(rule (targets guess_string.mligo_output2) (action (with-stdout-to guess_string.mligo_output2 (run ligo pretty-print guess_string.mligo_output -s cameligo))) (deps guess_string.mligo_output))
;; diff the pretty printed contract with the pretty printed pretty printed contract
;; reasonligo