Replies: 1 comment
-
I am sorry for the late reply. You are correct. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Name: Mincheol Kwon
YOUR QUESTION
src_x = tgt_x /\ src_y + 0 = src_x /\ not (src_y = tgt_x)
In the README.md, the explanation of Program Equivalence Checker is defined as above.
However, I think it should be replaced with
src_x = tgt_x /\ src_y = src_x + 0 /\ not (src_y = tgt_x)
I think the intentional derivation was functional congruence. So the body part calculation is misleading.
Beta Was this translation helpful? Give feedback.
All reactions