unordered_set/swap/2.cc

58   int personality01, personality02;
62   personality01 = uset01.get_allocator().get_personality();
73   VERIFY( uset02.get_allocator().get_personality() == personality01 );
77   personality01 = uset03.get_allocator().get_personality();
89   VERIFY( uset04.get_allocator().get_personality() == personality01 );
94   personality01 = uset05.get_allocator().get_personality();
106   VERIFY( uset06.get_allocator().get_personality() == personality01 );
111   personality01 = uset07.get_allocator().get_personality();
123   VERIFY( uset08.get_allocator().get_personality() == personality01 );
128   personality01 = uset09.get_allocator().get_personality();
140   VERIFY( uset10.get_allocator().get_personality() == personality01 );
145   personality01 = uset11.get_allocator().get_personality();
157   VERIFY( uset12.get_allocator().get_personality() == personality01 );
162   personality01 = uset13.get_allocator().get_personality();
174   VERIFY( uset14.get_allocator().get_personality() == personality01 );