Open allenjbaum opened 3 months ago
As the description says - just a small optimization. We should ensure that the CTG templates no longer emit RVMODEL_HALT, and the test format spec should be updated to mention this.
As the description says - just a small optimization. We should ensure that the CTG templates no longer emit RVMODEL_HALT, and the test format spec should be updated to mention this.