2 *checks the change degree and write progress report */
| 7463 | *checks the change degree and write progress report |
| 7464 | */ |
| 7465 | void message (int i,int* reduc,int* olddeg,kStrategy strat, int red_result) |
| 7466 | { |
| 7467 | if (i != *olddeg) |
| 7468 | { |
| 7469 | Print("%d",i); |
| 7470 | *olddeg = i; |
| 7471 | } |
| 7472 | if (TEST_OPT_OLDSTD) |
| 7473 | { |
| 7474 | if (strat->Ll != *reduc) |
| 7475 | { |
| 7476 | if (strat->Ll != *reduc-1) |
| 7477 | Print("(%d)",strat->Ll+1); |
| 7478 | else |
| 7479 | PrintS("-"); |
| 7480 | *reduc = strat->Ll; |
| 7481 | } |
| 7482 | else |
| 7483 | PrintS("."); |
| 7484 | mflush(); |
| 7485 | } |
| 7486 | else |
| 7487 | { |
| 7488 | if (red_result == 0) |
| 7489 | PrintS("-"); |
| 7490 | else if (red_result < 0) |
| 7491 | PrintS("."); |
| 7492 | if ((red_result > 0) || ((strat->Ll % 100)==99)) |
| 7493 | { |
| 7494 | if (strat->Ll != *reduc && strat->Ll > 0) |
| 7495 | { |
| 7496 | Print("(%d)",strat->Ll+1); |
| 7497 | *reduc = strat->Ll; |
| 7498 | } |
| 7499 | } |
| 7500 | } |
| 7501 | } |
| 7502 | |
| 7503 | /*2 |
| 7504 | *statistics |
no test coverage detected