blob: 7cdaa631b4bdd2a7a67bebd03d30528768120861 [file] [log] [blame]
Check that Thread.setName() and Thread.getName() generally behave reasonably,
and particularly that the pthread name gets set as expected.