*************** *** 43,45 - vf1 <= False; - f0 <= x; - end --- 43,45 ----- + vf1 <= False; + f0 <= x; + end *************** *** 50 - end --- 50 ----- + end *************** *** 52 - --- 52 ----- + *************** *** 104 - --- 104 ----- + *************** *** 142 - for (Integer x = n - 1; x > -1; x = x - 1) --- 142 ----- + for (Integer x = n - 1; x > 0; x = x - 1) *************** *** 170,176 - for (Integer x = 0; x < ( n - 1 ); x = x + 1) - begin - (registers[x]) <= registers[x + 1]._read(); - (valids[x]) <= valids[x + 1]._read(); - end - (valids[n-1]) <= False; - --- 170,177 ----- + for (Integer x = 0; x < (n-1); x = x + 1) + begin + + (registers[x]) <= registers[x + 1]._read(); + (valids[x]) <= valids[x + 1]._read(); + + end + *************** *** 187,189 - if ( valids[x]._read() && searchfunc(sv, registers[x]._read()) ) - res = True; - --- 188,189 ----- + res = valids[x]._read() && searchfunc(sv, registers[x]._read()); + *************** *** 198,200 - if ( valids[x]._read() && searchfunc(sv, registers[x]._read()) ) - res = True; - --- 198,199 ----- + res = valids[x]._read() && searchfunc(sv, registers[x]._read()); + *************** *** 228 - --- 227 ----- +