Identify a Loop Invariant Associated with the Point in the Loop

question 10

Short Answer

Identify a loop invariant associated with the point in the loop below at which a test for termination is performed.
X = 0
repeat:
print(X)
X = X + 2
until (X > 6)
___________________

---

Definitions:

Arteriography

A radiologic study of an artery using a radiopaque medium.

Carotid Artery

A major artery that supplies blood to the brain, neck, and face.

Ventricles

The two lower chambers of the heart, or the four connected cavities in the brain, each having specific functions related to circulating blood or cerebrospinal fluid.

Internuncial Neurons

Neurons that act as intermediaries between sensory and motor neurons in the nervous system.