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

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

Should not the if condition that at the same time the query contains deadlocks?

 if(query->getQuantifier() == EG || query->getQuantifier() == AF){
21 + cout << "Lowering constants by greatest common divisor gives wrong answer for EG and AF queries" << endl;
22 + exit(1);
23 + }

review: Needs Information

« Back to merge proposal