ChocoPy/src/test/data/pa2/student_contributed/bad_semantic.py

x:int = 1
x:int = 2

x

def fun_1() -> bool:
    if True:
        if True:
            return True
    # All path should return, not just one


fun_1()
Initial commit 3 years ago			`x:int = 1`
			`x:int = 2`

			`x`
Added bad_* tests which are failing to pass 3 years ago
			`def fun_1() -> bool:`
			`if True:`
			`if True:`
			`return True`
			`# All path should return, not just one`


			`fun_1()`