Closed mjp41 closed 4 months ago
If the pass has added errors to the AST, then it should be allowed to finish at that point, and hence will not have established the wf condition for the pass.
This considers adding an error node as success for a pass in systematic testing.
If the pass has added errors to the AST, then it should be allowed to finish at that point, and hence will not have established the wf condition for the pass.
This considers adding an error node as success for a pass in systematic testing.