search

Tritlo / PropR

Genetic program repair using GHC
MIT License
30 stars 2 forks source link

Intermediate results should be logged #55

Open Tritlo opened 3 years ago

Tritlo commented 3 years ago

Right now we wait until the very end to do any output, which is a shame if it found something already but then crashes or something. We should output patches to the output folder when they are found, to have some record at least.

lapplislazuli commented 3 years ago

Hmm, isn't this a bit of a scope creep?

At the moment the (genetic) search does search and not much else, but then it would do patch-handling too.

Also, I must say that at the moment endemic either fails at the beginning, or runs through 😅 I have not seen it failing somewhere in the middle.

Tritlo commented 3 years ago

True, but if I see a "1 success" now and stop_on_results is false, it keeps going. If I then do Ctrl-C, there's no way for me to see what that fix was 😢

lapplislazuli commented 3 years ago

I agree, I think it's worth it.

May we put a delegate to pretty print in Utils and put it in all search algorithms? So like printIntermediate :: Efix -> IO () in Endemic.Search.Util that is then called downstream?

And have it maybe printed on Verbose or Audit.