c_conforms_to() should have lambda parameter for model checking.
Raise CR
Analysis
Execution
Raise CR
Analysis
Execution
Description
c_conforms_to() has a lambda parameter for reference model checking in the ADL WB and Archie implementations, and it should be shown in the spec but is not.
c_conforms_to() has a lambda parameter for reference model checking in the ADL WB and Archie implementations, and it should be shown in the spec but is not.