4 ms·In the case of rewrites, the specification is the original behavior, no? bugs and all.by copperx 3mo agoIn the case of rewrites, the specification is the original behavior, no? bugs and all.hoppp 3mo agoThere is often no spec, just the old code, copied with the old bugs and with new ones sprinkled on top.IsTom 3mo agoDeciding if two programs do the same thing is provably impossible in the strict mathematical sense.