[copperx]

In the case of rewrites, the specification is the original behavior, no? bugs and all.

[IsTom]

Deciding if two programs do the same thing is provably impossible in the strict mathematical sense.

[hoppp]

There is often no spec, just the old code, copied with the old bugs and with new ones sprinkled on top.