Class ConsistencyChecks::FalseSuccessorIsSuccessor

An instruction whose false successor is not a successor.

Direct supertypes

Indirect supertypes

Predicates

Inherited predicates

getInstruction

Gets the instruction containing the violation.

from InstructionViolation
getNodefrom CfgViolation
toStringfrom InstructionViolation

Charpred