Use raw Bool for JSON responses, better web3 testing harness (#456)

* data, driver, web3: Int and Bool are valid JSON

* web3: "true" => true

* tests/web3/eth_newBlockFilter: add test of non-existent filter

* Makefile, tests/web3: handle diffing output in Makefile

* .gitignore: ignore temporary output

* tests/web3: update expected output

Author: ehildenb

.gitignore

@@ -5,3 +5,5 @@
 /package/pkg
 /package/src
 /media/*.pdf
+/tests/web3/*.out.json
+/tests/web3/*/*.out.json

Makefile

@@ -425,6 +425,8 @@ 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/%.parse: tests/%
 	$(TEST) kast --backend $(TEST_CONCRETE_BACKEND) $< kast > $@-out

data.md

@@ -29,7 +29,7 @@ Writing a JSON-ish parser in K takes 6 lines.
 ```k
     syntax JSONList ::= List{JSON,","}
     syntax JSONKey  ::= String | Int
-    syntax JSON     ::= String | Int
+    syntax JSON     ::= String | Int | Bool
                       | JSONKey ":" JSON
                       | "{" JSONList "}"
                       | "[" JSONList "]"

tests/web3/batch_all_notification.out.json renamed to tests/web3/batch_all_notification.expected.json

@@ -0,0 +1 @@
+[{"jsonrpc":"2.0","id":1,"result":"0x0"},{"jsonrpc":"2.0","id":2,"result":"0x1"},{"jsonrpc":"2.0","id":3,"result":true},{"jsonrpc":"2.0","id":4,"result":true},{"jsonrpc":"2.0","id":4,"result":false}]