TestTerm

9

tests

0

failures

0

ignored

0.021s

duration

100%

successful

Tests

Test Duration Result
testEqualsModRenaming() 0.002s passed
testEqualsModRenamingWithLabels() 0.012s passed
testFreeVars1() 0s passed
testFreeVars2() 0s passed
testFreeVars3() 0.001s passed
testFreeVars4() 0.001s passed
testIsContainsJavaBlockRecursive() 0.001s passed
testProgramElementEqualsModRenaming() 0.003s passed
testRigidness0() 0.001s passed