TestCollisionResolving

all > de.uka.ilkd.key.rule > TestCollisionResolving
7

tests
0

failures
0

ignored
0.018s

duration
100%

successful

Tests

Test Duration Result
testCollisionResolvingOfSchemaVariable() 0.002s passed
testCollisionResolvingWithContext() 0.002s passed
testNameConflict1() 0.002s passed
testNameConflictAfterInput() 0.002s passed
testNameConflictWithContextAfterInput() 0.002s passed
testVarNamespaceCreationWithContext() 0.002s passed
testVarNamespaceCreationWithPrefix() 0.006s passed