Package com.ibm.wala.core.tests.ir

Class Summary
CFGTest Test integrity of CFGs
CornerCasesTest tests for weird corner cases, such as when the input program doesn't verify
DeterministicIRTest Test that the SSA-numbering of variables in the IR is deterministic.
LocalNamesTest Test IR's getLocalNames.