VerifyDTAPN

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

Revision history for this message

Peter Gjøl Jensen (peter-gjoel) wrote on 2014-02-17:

Line 16
if(containsDeadlock.value && options.getDisableGCDLowerGuards() == false)

does the check if we have deadlocks and do GCD lowering

Line 20
if((query->getQuantifier() == EG || query->getQuantifier() == AF) && options.getDisableGCDLowerGuards() == false)

checks if liveness and and GCD