This makes the jsonschema checking much stricter, especially for YAML-related stuff, like tagged oracles and expressions.
This is preparation work to support language-specific oracles in the DSL (we have seen some demand for this, and our publications say that we do support this so).
This makes the jsonschema checking much stricter, especially for YAML-related stuff, like tagged oracles and expressions.
This is preparation work to support language-specific oracles in the DSL (we have seen some demand for this, and our publications say that we do support this so).