Merge pull request #145 from ethdebug/nullable-contexts

Allow empty context objects and treat omitted `"context"` properties as equivalent to empty values

Author: gnidan

schemas/program.schema.yaml

@@ -38,7 +38,11 @@ properties:
     description: |
       The context known to exist prior to the execution of the first
       instruction in the bytecode.
+
+      This field is **optional**. Omitting it is equivalent to specifying the
+      empty context value (`{}`).
     $ref: "schema:ethdebug/format/program/context"
+    default: {}
 
   instructions:
     type: array

schemas/program/context.schema.yaml

@@ -13,7 +13,6 @@ anyOf:
   - $ref: "schema:ethdebug/format/program/context/variables"
   - $ref: "schema:ethdebug/format/program/context/remark"
 
-minProperties: 1
 unevaluatedProperties: false
 
 examples:

schemas/program/instruction.schema.yaml

@@ -43,11 +43,14 @@ properties:
   context:
     description: |
       The context known to exist following the execution of this instruction.
+
+      This field is **optional**. Omitting it is equivalent to specifying the
+      empty context value (`{}`).
     $ref: "schema:ethdebug/format/program/context"
+    default: {}
 
 required:
   - offset
-  - context
 
 examples:
   - offset: 0