test_loop_cv Namespace Reference

Classes
class	Tpl

Functions
def	test_loop

Function Documentation

def test_loop_cv.test_loop

(

root_seq

)

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