Sub-program Entry Assertion

When during unit test generation you checked Create assert condition for data passed into sub-programs, the collected data presents in two tabbed displays, Entry Assertions and Returned Simulation Data. When opening a stub with generated entry assertions in the stub editor, the Entry Assertion displays first. Sub-program assertions validate all of the data that is being passed into a sub-program call just like a Write Assertion validates all the data that is passed into a Write I/O call. Useful if I/O is done inside of sub-program and can't be validated by write assertions.

Click on Returned Simulation Data to show the returned simulation data. The returned simulation data is the same as the simulation data generated when you didn't check Create assert condition for data passed into sub-programs during unit test generation.