Tritlo / PropR

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

[Bugfix] Timeout interpreted infinite loops. Fixes #65 #74

Closed Tritlo closed 3 years ago

Tritlo commented 3 years ago

We're most likely to bump into loops when we're computing the initial fixes, not when we're combining fixes. By using a hybrid where we use interpreted code for checking combined fixes but non-interpreted for the initialFixes, we can avoid loops.

Tritlo commented 3 years ago

I just want to say: finally, it works! The issue was too much parallelism in PseudoGenetic, namely that we would be compiling the same module at the same time, and it would sometimes get confused.