TestProofUserManager

all > de.uka.ilkd.key.util > TestProofUserManager
3

tests
0

failures
1

ignored
0.005s

duration
100%

successful

Tests

Test Duration Result
testGetInstance() 0s passed
testUserManagement_Environment() 0.005s passed
testUserManagement_NoEnvironment() - ignored