search

uw-pluverse / perses

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

The time in the warning message is not correct. Better to print out the execution time of the script. #2

Open chengniansun opened 4 years ago

chengniansun commented 4 years ago

The time component in the following log message is not right.

[14:11:44] [WARNING] One script execution took too much time: 00:38:06 1970/01/01