Code review comment for lp:~verifydtapn-contributers/verifydtapn/NoLivenessGCD

Revision history for this message
Jiri Srba (srba) wrote :

OK, gives sense to me now. Can you replace "gives wrong answer" with "is unsound"?
There are two occurences.

review: Needs Fixing

« Back to merge proposal