How is output a constraint? Say table ## or say it is documented in SRS.
• transition: Modifies the state variables from the input file:
– Read sequentially from file and loads state variables from R1 and R2.
– verify-input()
I think you need to write out descriptions instead of using function names.
How is output a constraint? Say table ## or say it is documented in SRS.
I think you need to write out descriptions instead of using function names.