id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
218	Failure in GradeCount loop test	Stephen Siegel	ywei	"I added a JUnit test for GradeCount.    The loop technique is supposed to find the error after 19 states.    Instead it gets a null pointer exception when trying to get the label of a ""for"" loop that does not have a label.  It should execute that loop normally.  It is the next ""while"" loop that corresponds to the loop in the spec and requires the loop technique.

Why did this example work before, and now now?

Yi---not sure if you have time to look into this but you could probably figure it out quickly."	defect	closed	major	Release 1.0	examples	1.0	fixed