Comment by champagnepapi

How are you verifying all the code that's generated? Do you think that verifying properly would take you as much effort as the original implementation would've?