/**
  * @covers UIDGenerator::newUUIDv4
  */
 public function testUUIDv4()
 {
     for ($i = 0; $i < 100; $i++) {
         $id = UIDGenerator::newUUIDv4();
         $this->assertEquals(true, preg_match('!^[0-9a-f]{8}-[0-9a-f]{4}-4[0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$!', $id), "UID {$id} has the right format");
     }
 }
 /**
  * @covers UIDGenerator::newUUIDv4
  */
 public function testUUIDv4()
 {
     $ids = array();
     for ($i = 0; $i < 100; $i++) {
         $id = UIDGenerator::newUUIDv4();
         $ids[] = $id;
         $this->assertEquals(true, preg_match('!^[0-9a-f]{8}-[0-9a-f]{4}-4[0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$!', $id), "UID {$id} has the right format");
     }
     $this->assertEquals(array_unique($ids), $ids, 'All generated IDs are unique.');
 }