Some evaluated locations are not found

Tritlo / PropR

Genetic program repair using GHC

MIT License

30 stars 2 forks source link

Some evaluated locations are not found #92

Open Tritlo opened 3 years ago

Tritlo commented 3 years ago

It can sometimes happen that something that was evaluated is not found in the traceCorrel. We should investigate.

Tritlo commented 3 years ago

This is weird: a lot of locations are showing up as evaluated in the invokes in findEvaluatedHoles, but we're missing out on these locations due to them not being in the trace-correlation. One good example is cherry-pie/lab05/entry009 with random search: we find no fixes!

Tritlo commented 3 years ago

Sadly, #95 doesn't quite cut it: we don't actually get precedence information until after renaming, so we can't find locations that are "parenthesized" by precedence. See the note on the toExprHole function for more details.