var searchData=
[
  ['testing_20and_20verification_0',['Example code, testing and verification',['../testing.html',1,'index']]],
  ['thread_20safety_1',['Thread-safety',['../threads.html',1,'index']]]
];
