uw-pluverse / perses

language-agnostic program reducer.
GNU General Public License v3.0
171 stars 24 forks source link

Reduction statistics should be printed at the end of the reduction. #11

Open chengniansun opened 4 years ago

chengniansun commented 4 years ago

Currently, we might print something else after the reduction is done. We should make sure that the reduction statistics should ALWAYS be printed at the end of a reduction run.

[16:33:46] [INFO   ] concurrent_token_slicer ended at 16:33:46 2020/11/29. #old=12, #new=12
[16:33:46] [INFO   ] Reduction ended at 16:33:46 2020/11/29
[16:33:46] [INFO   ] Elapsed time is 8 seconds
[16:33:46] [INFO   ] Removed 503 tokens. reduction ratio is 12/515=2.33%
[16:33:46] [INFO   ] Test script execution count: 69
[16:33:47] [INFO   ] Formatting the reduction result perses_node_priority_with_dfs_delta_reduced_mutant.rs with rustfmt