Time stamp filter for log output

[dbeyer]

For inspection of solver output, it could be useful to run the stdout lines through a filter that
adds time stamps as prefix, like in syslog.

Problem: Some verifiers do this already themselves.
Example: https://sv-comp.sosy-lab.org/2017/results/results-verified/uautomizer.2017-01-13_1241.logfiles/sv-comp17.array_false-unreach-call_true-termination.i.log

[dbeyer]

This can be closed in my opinion.

[PhilippWendler]

Let's leave it open, it is a valid feature request. And if at some point in time we need to pipe the output through our own process anyway (e.g., for #535), implementation becomes easy.

[PhilippWendler]

This would be good to have for the TPTP community, as they currently rely on the equivalent runsolver feature.

[geoffgeoffgeoff3]

Up vote!!

[Richd0tcom]

Hello, I'd like to work on this for GSoC 2024

[PhilippWendler]

Hi, any contributions are welcome! Please have a look at the general GSoC documentation and if you have general questions about participation, use our discussions. Only technical questions about this issue in particular should be discussed here.