When I try to fix examples/BrokenGCD.hs but i add prop_5 = True, it doesn't fix anything.
Upon inspection, it fails in the beginning, due to the initial check program not compiling: it's trying to apply prop_5 to expr__ which doesn't compile of course.
When I try to fix
examples/BrokenGCD.hsbut i addprop_5 = True, it doesn't fix anything. Upon inspection, it fails in the beginning, due to the initial check program not compiling: it's trying to applyprop_5toexpr__which doesn't compile of course.