3 ms·Proving that two code is functionally equivalent for every input is inconceivably hard.by kaba0 3y agoProving that two code is functionally equivalent for every input is inconceivably hard.