|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| 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. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||