| 311 | |
| 312 | |
| 313 | void hStaircase(scfmon stc, int *Nstc, varset var, int Nvar) |
| 314 | { |
| 315 | int nc = *Nstc; |
| 316 | if (nc < 2) |
| 317 | return; |
| 318 | int z = 0; |
| 319 | int i = 0; |
| 320 | int j = 1; |
| 321 | scmon n = stc[1 /*j*/]; |
| 322 | scmon o = stc[0]; |
| 323 | int k = Nvar; |
| 324 | loop |
| 325 | { |
| 326 | int k1 = var[k]; |
| 327 | if (o[k1] > n[k1]) |
| 328 | { |
| 329 | loop |
| 330 | { |
| 331 | k--; |
| 332 | if (k==0) |
| 333 | { |
| 334 | stc[i] = NULL; |
| 335 | z++; |
| 336 | break; |
| 337 | } |
| 338 | else |
| 339 | { |
| 340 | k1 = var[k]; |
| 341 | if (o[k1] < n[k1]) |
| 342 | break; |
| 343 | } |
| 344 | } |
| 345 | k = Nvar; |
| 346 | } |
| 347 | else if (o[k1] < n[k1]) |
| 348 | { |
| 349 | loop |
no outgoing calls
no test coverage detected