Compare ethdebug output to program schema

Author: clonker

.circleci/config.yml

@@ -951,6 +951,8 @@ jobs:
   chk_pylint:
     <<: *base_ubuntu2404_small
     steps:
+      - install_python3:
+          packages: jsonschema
       - checkout
       - run: pylint --version
       - run:
@@ -1534,6 +1536,16 @@ jobs:
             - reports/externalTests/
       - matrix_notify_failure_unless_pr
 
+  t_ethdebug_schema_validity:
+    <<: *base_node_small
+    steps:
+      - install_python3:
+            packages: jsonschema
+      - run:
+          name: Ethdebug schema validity tests
+          command: |
+            test/ethdebugSchemaTests/test.py --solc-binary-path=/tmp/workspace/solc/solc-static-linux
+
   c_ext_benchmarks:
     <<: *base_node_small
     steps:
@@ -1927,6 +1939,9 @@ workflows:
       #- t_ext: *job_native_compile_ext_chainlink
       #- t_ext: *job_native_compile_ext_bleeps
 
+      - t_ethdebug_schema_validity:
+          <<: *requires_b_ubu_static
+
       - c_ext_benchmarks:
           <<: *requires_nothing
           requires:

test/ethdebugSchemaTests/input_file.json

@@ -0,0 +1,27 @@
+{
+  "language": "Solidity",
+  "sources": {
+    "a.sol": {
+      "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function a(uint x) public pure { assert(x > 0); } } contract A2 { function a(uint x) public pure { assert(x > 0); } }"
+    },
+    "b.sol": {
+      "content": "//SPDX-License-Identifier: GPL-3.0\npragma solidity >=0.0;\ncontract A1 { function b(uint x) public pure { assert(x > 0); } } contract B2 { function b(uint x) public pure { assert(x > 0); } }"
+    }
+  },
+  "settings": {
+    "viaIR": true,
+    "debug": {
+      "debugInfo": [
+        "ethdebug"
+      ]
+    },
+    "outputSelection": {
+      "*": {
+        "*": [
+          "evm.bytecode.ethdebug",
+          "evm.deployedBytecode.ethdebug"
+        ]
+      }
+    }
+  }
+}