Gain fine-grained context about a call frame in order to improve the precision of assertions by allowing to access pre and post call frame states.
Was this page helpful?