Fix out-of-scope errors (#14)

Tritlo / PropR

Genetic program repair using GHC

MIT License

30 stars 2 forks source link

Fix out-of-scope errors (#14) #38

Closed Tritlo closed 3 years ago

Tritlo commented 3 years ago

We fixed the scope issue, but we don't get the expected results from the ThreeFixes test when six = 6 is in scope. Checking to see if it happens also in CI.

Tritlo commented 3 years ago

@lapplislazuli could you take a look at this issue? I fixed the scope issue, but now the tests using the Genetic search are way slower and not finding any solution. The PseudoGenetic search still works.