A description of the information needed to determine a program's next permitted step. In the summation loop verification, this includes the current variable values and the position in the instructions.
New to topics? Read the docs here!
New to topics? Read the docs here!