In the case of rewrites, the specification is the original behavior, no? bugs and all.
Deciding if two programs do the same thing is provably impossible in the strict mathematical sense.
There is often no spec, just the old code, copied with the old bugs and with new ones sprinkled on top.
Deciding if two programs do the same thing is provably impossible in the strict mathematical sense.
There is often no spec, just the old code, copied with the old bugs and with new ones sprinkled on top.