id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
193	source text for loop too big	Stephen Siegel	ywei	"The source text for the while loop includes the entire loop body.  It used to just be the while (...) part.  Here is an example:

{{{
Step 1: State 0 -- nestedLoopsSpec.mmp line 10 [main@0->main@1] ""while (i <= n) {    j = 1;    l2:    while (j <= i*i) {      s = s + i*j;      j = j + 1;    }    i = i + 1;  }"" [true]nestedLoopsImpl.mmp line 11 [main@0->main@1] ""while (i <= n) {    u = 0;    j = 0;    l2@main{s + i * u == spec.s && j == spec.j - 1}:    while (j < i*i) {      u = u + j + 1;      j = j + 1;    }    s = s + i * u;    i = i + 1;  }"" [true] -> State 1
}}}
"	defect	closed	minor	Release 1.0	front	1.0	fixed