Tritlo / PropR

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

Exhaustive Search pretty quiet #90

Closed lapplislazuli closed 3 years ago

lapplislazuli commented 3 years ago

Currently, when running exhaustive search on INFO it's very very quiet. If it doesn't find result, it runs for 5 minutes without output, looking like it's frozen.

I think some of the logs should be elevated one up, or a new one introduced just to show that its still alive.