TestTerm
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testEqualsModRenaming() | 0.005s | passed |
| testEqualsModRenamingWithLabels() | 0.010s | passed |
| testFreeVars1() | 0.001s | passed |
| testFreeVars2() | 0s | passed |
| testFreeVars3() | 0.001s | passed |
| testFreeVars4() | 0.001s | passed |
| testIsContainsJavaBlockRecursive() | 0.003s | passed |
| testProgramElementEqualsModRenaming() | 0.005s | passed |
| testRigidness0() | 0.001s | passed |