TestTerm

9

tests

0

failures

0

ignored

0.022s

duration

100%

successful

Tests

Test Duration Result
testEqualsModRenaming() 0s passed
testEqualsModRenamingWithLabels() 0.011s passed
testFreeVars1() 0s passed
testFreeVars2() 0s passed
testFreeVars3() 0s passed
testFreeVars4() 0.001s passed
testIsContainsJavaBlockRecursive() 0.001s passed
testProgramElementEqualsModRenaming() 0.009s passed
testRigidness0() 0s passed