test_loop_cv Namespace Reference

Classes
class	Tpl

Functions
def	test_loop (root_seq)
	Check Loop's invariant are True and result's are properly set. More...

Function Documentation

test_loop()

def test_loop_cv.test_loop

(

root_seq

)

Check Loop's invariant are True and result's are properly set.