Play more than one media to improve coverage a bit

(cherry picked from commit c01710dd232695150ce10e7b1a8112781eacdd54)

diff --git a/test/libvlc/media_list_player.c b/test/libvlc/media_list_player.c
index 8594574d1bf9abd00128526c6466e1232e16a2e3..0c5a7a656e54575e7b11a63e6b65c1899a45c45d 100644 (file)
--- a/test/libvlc/media_list_player.c
+++ b/test/libvlc/media_list_player.c
@@ -170,8 +170,11 @@ static void test_media_list_player_play_item_at_index(const char** argv, int arg
 
     mlp = libvlc_media_list_player_new (vlc, &ex);
 
-    libvlc_media_list_add_media( ml, md, &ex );
-    catch ();
+    for (unsigned i = 0; i < 5; i++)
+    {
+        libvlc_media_list_add_media( ml, md, &ex );
+        catch ();
+    }
 
     libvlc_media_list_player_set_media_list( mlp, ml, &ex );