Generic test updater via CHECK variable (#576)

ehildenb · Dwight Guth · commit 099c3838d295 · 2019-11-26T09:44:44.000-06:00
* Makefile: use -R to swap argument order to CHECK

* Makefile: no need for specific Web3 updaters

* Jenkinsfile: use LLVM backend for parse tests
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -130,10 +130,10 @@ pipeline {
                 '''
               }
             }
-            stage('OCaml kast') {
+            stage('LLVM Kast') {
               steps {
                 sh '''
-                  make test-parse TEST_CONCRETE_BACKEND=ocaml
+                  make test-parse TEST_CONCRETE_BACKEND=llvm
                 '''
               }
             }
diff --git a/Makefile b/Makefile
@@ -44,7 +44,7 @@ export LUA_PATH
         split-tests                                                                                                                                    \
         test test-all test-conformance test-rest-conformance test-all-conformance                                                                      \
         test-vm test-rest-vm test-all-vm test-bchain test-rest-bchain test-all-bchain                                                                  \
-        test-web3 update-web3                                                                                                                          \
+        test-web3                                                                                                                                      \
         test-prove test-prove-benchmarks test-prove-functional test-prove-opcodes test-prove-erc20 test-prove-bihu test-prove-examples test-klab-prove \
         test-parse test-failure                                                                                                                        \
         test-interactive test-interactive-help test-interactive-run test-interactive-prove test-interactive-search test-interactive-firefly            \
@@ -368,9 +368,8 @@ release.md: INSTALL.md
 TEST_CONCRETE_BACKEND := llvm
 TEST_SYMBOLIC_BACKEND := java
 
-TEST   := ./kevm
-CHECK  := git --no-pager diff --no-index --ignore-all-space
-UPDATE := cp
+TEST  := ./kevm
+CHECK := git --no-pager diff --no-index --ignore-all-space -R
 
 KEVM_MODE     := NORMAL
 KEVM_SCHEDULE := PETERSBURG
@@ -396,34 +395,29 @@ tests/ethereum-tests/VMTests/%: KEVM_SCHEDULE=DEFAULT
 
 tests/%.run: tests/%
 	MODE=$(KEVM_MODE) SCHEDULE=$(KEVM_SCHEDULE) $(TEST) interpret --backend $(TEST_CONCRETE_BACKEND) $< > tests/$*.$(TEST_CONCRETE_BACKEND)-out \
-	    || $(CHECK) tests/templates/output-success-$(TEST_CONCRETE_BACKEND).json tests/$*.$(TEST_CONCRETE_BACKEND)-out
+	    || $(CHECK) tests/$*.$(TEST_CONCRETE_BACKEND)-out tests/templates/output-success-$(TEST_CONCRETE_BACKEND).json
 	rm -rf tests/$*.$(TEST_CONCRETE_BACKEND)-out
 
 tests/%.run-interactive: tests/%
 	MODE=$(KEVM_MODE) SCHEDULE=$(KEVM_SCHEDULE) $(TEST) run --backend $(TEST_CONCRETE_BACKEND) $< > tests/$*.$(TEST_CONCRETE_BACKEND)-out \
-	    || $(CHECK) tests/templates/output-success-$(TEST_CONCRETE_BACKEND).json tests/$*.$(TEST_CONCRETE_BACKEND)-out
+	    || $(CHECK) tests/$*.$(TEST_CONCRETE_BACKEND)-out tests/templates/output-success-$(TEST_CONCRETE_BACKEND).json
 	rm -rf tests/$*.$(TEST_CONCRETE_BACKEND)-out
 
 tests/%.run-expected: tests/% tests/%.expected
 	MODE=$(KEVM_MODE) SCHEDULE=$(KEVM_SCHEDULE) $(TEST) run --backend $(TEST_CONCRETE_BACKEND) $< > tests/$*.$(TEST_CONCRETE_BACKEND)-out \
-	    || $(CHECK) tests/$*.expected tests/$*.$(TEST_CONCRETE_BACKEND)-out
+	    || $(CHECK) tests/$*.$(TEST_CONCRETE_BACKEND)-out tests/$*.expected
 	rm -rf tests/$*.$(TEST_CONCRETE_BACKEND)-out
 
 tests/web3/no-shutdown/%: KEVM_WEB3_ARGS=
 
 tests/%.run-web3: tests/%.in.json
 	tests/web3/runtest.sh $< tests/$*.out.json $(KEVM_WEB3_ARGS)
-	$(CHECK) tests/$*.expected.json tests/$*.out.json
-	rm -rf tests/$*.out.json
-
-tests/%.update-web3: tests/%.in.json
-	tests/web3/runtest.sh $< tests/$*.out.json $(KEVM_WEB3_ARGS)
-	$(UPDATE) tests/$*.out.json tests/$*.expected.json
+	$(CHECK) tests/$*.out.json tests/$*.expected.json
 	rm -rf tests/$*.out.json
 
 tests/%.parse: tests/%
 	$(TEST) kast --backend $(TEST_CONCRETE_BACKEND) $< kast > $@-out
-	$(CHECK) $@-expected $@-out
+	$(CHECK) $@-out $@-expected
 	rm -rf $@-out
 
 tests/specs/functional/%.prove: TEST_SYMBOLIC_BACKEND=haskell
@@ -434,7 +428,7 @@ tests/%.prove: tests/%
 
 tests/%.search: tests/%
 	$(TEST) search --backend $(TEST_SYMBOLIC_BACKEND) $< "<statusCode> EVMC_INVALID_INSTRUCTION </statusCode>" > $@-out
-	$(CHECK) $@-expected $@-out
+	$(CHECK) $@-out $@-expected
 	rm -rf $@-out
 
 tests/%.klab-prove: tests/%
@@ -481,7 +475,6 @@ web3_tests=$(wildcard tests/web3/*.in.json) \
            $(wildcard tests/web3/no-shutdown/*.in.json)
 
 test-web3: $(web3_tests:.in.json=.run-web3)
-update-web3: $(web3_tests:.in.json=.update-web3)
 
 # Proof Tests
 
diff --git a/tests/interactive/sumTo10.evm.parse-expected b/tests/interactive/sumTo10.evm.parse-expected
@@ -1,2 +1,2 @@
-`___ETHEREUM-SIMULATION`(`mkAcct__STATE-LOADER`(#token("7","Int")),`___ETHEREUM-SIMULATION`(`load__STATE-LOADER`(`_:__EVM-DATA`(#token("\"account\"","String"),`{_}_EVM-DATA`(`_,__EVM-DATA`(`_:__EVM-DATA`(#token("7","Int"),`{_}_EVM-DATA`(`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"balance\"","String"),#token("1000000000","Int")),`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"nonce\"","String"),#token("1","Int")),`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"code\"","String"),`.ByteArray_EVM-DATA`(.KList)),`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"storage\"","String"),`.Map`(.KList)),`.List{"_,__EVM-DATA"}`(.KList))))))),`.List{"_,__EVM-DATA"}`(.KList))))),`___ETHEREUM-SIMULATION`(`load__STATE-LOADER`(`_:__EVM-DATA`(#token("\"exec\"","String"),`{_}_EVM-DATA`(`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"address\"","String"),#token("7","Int")),`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"gas\"","String"),#token("100000","Int")),`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"code\"","String"),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY`(`MSTORE_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("10","Int")),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY`(`MSTORE_EVM`(.KList),`_;__EVM-ASSEMBLY`(`JUMPDEST_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY`(`MLOAD_EVM`(.KList),`_;__EVM-ASSEMBLY`(`ISZERO_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("411","Int")),`_;__EVM-ASSEMBLY`(`JUMPI_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY`(`MLOAD_EVM`(.KList),`_;__EVM-ASSEMBLY`(`DUP`(#token("1","Int")),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY`(`MLOAD_EVM`(.KList),`_;__EVM-ASSEMBLY`(`ADD_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY`(`MSTORE_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("1","Int")),`_;__EVM-ASSEMBLY`(`SWAP`(#token("1","Int")),`_;__EVM-ASSEMBLY`(`SUB_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY`(`MSTORE_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("134","Int")),`_;__EVM-ASSEMBLY`(`JUMP_EVM`(.KList),`_;__EVM-ASSEMBLY`(`JUMPDEST_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY`(`MLOAD_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY`(`SSTORE_EVM`(.KList),`.OpCodes_EVM-ASSEMBLY`(.KList)))))))))))))))))))))))))))))))))),`.List{"_,__EVM-DATA"}`(.KList))))))),`___ETHEREUM-SIMULATION`(`start_ETHEREUM-SIMULATION`(.KList),`___ETHEREUM-SIMULATION`(`check__ETHEREUM-SIMULATION`(`_:__EVM-DATA`(#token("\"account\"","String"),`{_}_EVM-DATA`(`_,__EVM-DATA`(`_:__EVM-DATA`(#token("7","Int"),`{_}_EVM-DATA`(`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"storage\"","String"),`{_}_EVM-DATA`(`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"0x00\"","String"),#token("\"0x37\"","String")),`.List{"_,__EVM-DATA"}`(.KList)))),`.List{"_,__EVM-DATA"}`(.KList)))),`.List{"_,__EVM-DATA"}`(.KList))))),`___ETHEREUM-SIMULATION`(`failure__ETHEREUM-SIMULATION`(#token("\"Interactive sumTo10 test\"","String")),`___ETHEREUM-SIMULATION`(`success_ETHEREUM-SIMULATION`(.KList),`___ETHEREUM-SIMULATION`(`clear_STATE-LOADER`(.KList),`.EthereumSimulation_ETHEREUM-SIMULATION`(.KList)))))))))
+`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`mkAcct__STATE-LOADER_EthereumCommand_Int`(#token("7","Int")),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`load__STATE-LOADER_EthereumCommand_JSON`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"account\"","String"),`{_}_EVM-DATA_JSON_JSONList`(`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("7","Int"),`{_}_EVM-DATA_JSON_JSONList`(`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"balance\"","String"),#token("1000000000","Int")),`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"nonce\"","String"),#token("1","Int")),`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"code\"","String"),`.ByteArray_EVM-DATA_ByteArray`(.KList)),`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"storage\"","String"),`.Map`(.KList)),`.List{"_,__EVM-DATA_JSONList_JSON_JSONList"}_JSONList`(.KList))))))),`.List{"_,__EVM-DATA_JSONList_JSON_JSONList"}_JSONList`(.KList))))),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`load__STATE-LOADER_EthereumCommand_JSON`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"exec\"","String"),`{_}_EVM-DATA_JSON_JSONList`(`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"address\"","String"),#token("7","Int")),`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"gas\"","String"),#token("100000","Int")),`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"code\"","String"),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MSTORE_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("10","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MSTORE_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`JUMPDEST_EVM_NullStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MLOAD_EVM_UnStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`ISZERO_EVM_UnStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("411","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`JUMPI_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MLOAD_EVM_UnStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`DUP(_)_EVM_StackOp_Int`(#token("1","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MLOAD_EVM_UnStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`ADD_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MSTORE_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("1","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`SWAP(_)_EVM_StackOp_Int`(#token("1","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`SUB_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MSTORE_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("134","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`JUMP_EVM_UnStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`JUMPDEST_EVM_NullStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MLOAD_EVM_UnStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`SSTORE_EVM_BinStackOp`(.KList),`.OpCodes_EVM-ASSEMBLY_OpCodes`(.KList)))))))))))))))))))))))))))))))))),`.List{"_,__EVM-DATA_JSONList_JSON_JSONList"}_JSONList`(.KList))))))),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`start_ETHEREUM-SIMULATION_EthereumCommand`(.KList),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`check__ETHEREUM-SIMULATION_EthereumCommand_JSON`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"account\"","String"),`{_}_EVM-DATA_JSON_JSONList`(`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("7","Int"),`{_}_EVM-DATA_JSON_JSONList`(`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"storage\"","String"),`{_}_EVM-DATA_JSON_JSONList`(`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"0x00\"","String"),#token("\"0x37\"","String")),`.List{"_,__EVM-DATA_JSONList_JSON_JSONList"}_JSONList`(.KList)))),`.List{"_,__EVM-DATA_JSONList_JSON_JSONList"}_JSONList`(.KList)))),`.List{"_,__EVM-DATA_JSONList_JSON_JSONList"}_JSONList`(.KList))))),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`failure__ETHEREUM-SIMULATION_EthereumCommand_String`(#token("\"Interactive sumTo10 test\"","String")),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`success_ETHEREUM-SIMULATION_EthereumCommand`(.KList),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`clear_STATE-LOADER_EthereumCommand`(.KList),`.EthereumSimulation_ETHEREUM-SIMULATION_EthereumSimulation`(.KList)))))))))
 

Original file line number	Diff line number	Diff line change
`@@ -130,10 +130,10 @@ pipeline {`
`130`	`130`	`'''`
`131`	`131`	`}`
`132`	`132`	`}`
`133`		`- stage('OCaml kast') {`
	`133`	`+ stage('LLVM Kast') {`
`134`	`134`	`steps {`
`135`	`135`	`sh '''`
`136`		`- make test-parse TEST_CONCRETE_BACKEND=ocaml`
	`136`	`+ make test-parse TEST_CONCRETE_BACKEND=llvm`
`137`	`137`	`'''`
`138`	`138`	`}`
`139`	`139`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`		-`___ETHEREUM-SIMULATION`(`mkAcct__STATE-LOADER`(#token("7","Int")),`___ETHEREUM-SIMULATION`(`load__STATE-LOADER`(`_:__EVM-DATA`(#token("\"account\"","String"),`{_}_EVM-DATA`(`_,__EVM-DATA`(`_:__EVM-DATA`(#token("7","Int"),`{_}_EVM-DATA`(`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"balance\"","String"),#token("1000000000","Int")),`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"nonce\"","String"),#token("1","Int")),`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"code\"","String"),`.ByteArray_EVM-DATA`(.KList)),`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"storage\"","String"),`.Map`(.KList)),`.List{"_,__EVM-DATA"}`(.KList))))))),`.List{"_,__EVM-DATA"}`(.KList))))),`___ETHEREUM-SIMULATION`(`load__STATE-LOADER`(`_:__EVM-DATA`(#token("\"exec\"","String"),`{_}_EVM-DATA`(`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"address\"","String"),#token("7","Int")),`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"gas\"","String"),#token("100000","Int")),`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"code\"","String"),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY`(`MSTORE_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("10","Int")),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY`(`MSTORE_EVM`(.KList),`_;__EVM-ASSEMBLY`(`JUMPDEST_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY`(`MLOAD_EVM`(.KList),`_;__EVM-ASSEMBLY`(`ISZERO_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("411","Int")),`_;__EVM-ASSEMBLY`(`JUMPI_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY`(`MLOAD_EVM`(.KList),`_;__EVM-ASSEMBLY`(`DUP`(#token("1","Int")),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY`(`MLOAD_EVM`(.KList),`_;__EVM-ASSEMBLY`(`ADD_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY`(`MSTORE_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("1","Int")),`_;__EVM-ASSEMBLY`(`SWAP`(#token("1","Int")),`_;__EVM-ASSEMBLY`(`SUB_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY`(`MSTORE_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("134","Int")),`_;__EVM-ASSEMBLY`(`JUMP_EVM`(.KList),`_;__EVM-ASSEMBLY`(`JUMPDEST_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY`(`MLOAD_EVM`(.KList),`_;__EVM-ASSEMBLY`(`PUSHAsm`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY`(`SSTORE_EVM`(.KList),`.OpCodes_EVM-ASSEMBLY`(.KList)))))))))))))))))))))))))))))))))),`.List{"_,__EVM-DATA"}`(.KList))))))),`___ETHEREUM-SIMULATION`(`start_ETHEREUM-SIMULATION`(.KList),`___ETHEREUM-SIMULATION`(`check__ETHEREUM-SIMULATION`(`_:__EVM-DATA`(#token("\"account\"","String"),`{_}_EVM-DATA`(`_,__EVM-DATA`(`_:__EVM-DATA`(#token("7","Int"),`{_}_EVM-DATA`(`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"storage\"","String"),`{_}_EVM-DATA`(`_,__EVM-DATA`(`_:__EVM-DATA`(#token("\"0x00\"","String"),#token("\"0x37\"","String")),`.List{"_,__EVM-DATA"}`(.KList)))),`.List{"_,__EVM-DATA"}`(.KList)))),`.List{"_,__EVM-DATA"}`(.KList))))),`___ETHEREUM-SIMULATION`(`failure__ETHEREUM-SIMULATION`(#token("\"Interactive sumTo10 test\"","String")),`___ETHEREUM-SIMULATION`(`success_ETHEREUM-SIMULATION`(.KList),`___ETHEREUM-SIMULATION`(`clear_STATE-LOADER`(.KList),`.EthereumSimulation_ETHEREUM-SIMULATION`(.KList)))))))))
	`1`	+`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`mkAcct__STATE-LOADER_EthereumCommand_Int`(#token("7","Int")),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`load__STATE-LOADER_EthereumCommand_JSON`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"account\"","String"),`{_}_EVM-DATA_JSON_JSONList`(`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("7","Int"),`{_}_EVM-DATA_JSON_JSONList`(`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"balance\"","String"),#token("1000000000","Int")),`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"nonce\"","String"),#token("1","Int")),`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"code\"","String"),`.ByteArray_EVM-DATA_ByteArray`(.KList)),`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"storage\"","String"),`.Map`(.KList)),`.List{"_,__EVM-DATA_JSONList_JSON_JSONList"}_JSONList`(.KList))))))),`.List{"_,__EVM-DATA_JSONList_JSON_JSONList"}_JSONList`(.KList))))),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`load__STATE-LOADER_EthereumCommand_JSON`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"exec\"","String"),`{_}_EVM-DATA_JSON_JSONList`(`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"address\"","String"),#token("7","Int")),`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"gas\"","String"),#token("100000","Int")),`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"code\"","String"),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MSTORE_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("10","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MSTORE_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`JUMPDEST_EVM_NullStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MLOAD_EVM_UnStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`ISZERO_EVM_UnStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("411","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`JUMPI_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MLOAD_EVM_UnStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`DUP(_)_EVM_StackOp_Int`(#token("1","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MLOAD_EVM_UnStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`ADD_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MSTORE_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("1","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`SWAP(_)_EVM_StackOp_Int`(#token("1","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`SUB_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("32","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MSTORE_EVM_BinStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("134","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`JUMP_EVM_UnStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`JUMPDEST_EVM_NullStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`MLOAD_EVM_UnStackOp`(.KList),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`PUSH(_,_)_EVM-ASSEMBLY_OpCode_Int_Int`(#token("32","Int"),#token("0","Int")),`_;__EVM-ASSEMBLY_OpCodes_OpCode_OpCodes`(`SSTORE_EVM_BinStackOp`(.KList),`.OpCodes_EVM-ASSEMBLY_OpCodes`(.KList)))))))))))))))))))))))))))))))))),`.List{"_,__EVM-DATA_JSONList_JSON_JSONList"}_JSONList`(.KList))))))),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`start_ETHEREUM-SIMULATION_EthereumCommand`(.KList),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`check__ETHEREUM-SIMULATION_EthereumCommand_JSON`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"account\"","String"),`{_}_EVM-DATA_JSON_JSONList`(`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("7","Int"),`{_}_EVM-DATA_JSON_JSONList`(`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"storage\"","String"),`{_}_EVM-DATA_JSON_JSONList`(`_,__EVM-DATA_JSONList_JSON_JSONList`(`_:__EVM-DATA_JSON_JSONKey_JSON`(#token("\"0x00\"","String"),#token("\"0x37\"","String")),`.List{"_,__EVM-DATA_JSONList_JSON_JSONList"}_JSONList`(.KList)))),`.List{"_,__EVM-DATA_JSONList_JSON_JSONList"}_JSONList`(.KList)))),`.List{"_,__EVM-DATA_JSONList_JSON_JSONList"}_JSONList`(.KList))))),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`failure__ETHEREUM-SIMULATION_EthereumCommand_String`(#token("\"Interactive sumTo10 test\"","String")),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`success_ETHEREUM-SIMULATION_EthereumCommand`(.KList),`___ETHEREUM-SIMULATION_EthereumSimulation_EthereumCommand_EthereumSimulation`(`clear_STATE-LOADER_EthereumCommand`(.KList),`.EthereumSimulation_ETHEREUM-SIMULATION_EthereumSimulation`(.KList)))))))))
`2`	`2`