The VideoLAN Forums

I use vlc to play Blu-ray discs, and I found that its time is problematic. I used libvlc_media_player_get_time to get the libvlc_time_t to prove that it does get smaller sometimes, as follows:
02-14 15:33:52 libvlc_media_player_get_time 702808
02-14 15:33:53 libvlc_media_player_get_time 702262
02-14 15:33:53 libvlc_media_player_get_time 702262
02-14 15:33:53 libvlc_media_player_get_time 702262
02-14 15:33:53 libvlc_media_player_get_time 702253
02-14 15:33:53 libvlc_media_player_get_time 702253
02-14 15:33:54 libvlc_media_player_get_time 702253
02-14 15:33:54 libvlc_media_player_get_time 703493
02-14 15:33:54 libvlc_media_player_get_time 703180
02-14 15:33:54 libvlc_media_player_get_time 703180
02-14 15:33:54 libvlc_media_player_get_time 703180
02-14 15:33:55 libvlc_media_player_get_time 706153
02-14 15:33:55 libvlc_media_player_get_time 705681
02-14 15:33:55 libvlc_media_player_get_time 705681
02-14 15:33:55 libvlc_media_player_get_time 705681
02-14 15:33:55 libvlc_media_player_get_time 705681
02-14 15:33:56 libvlc_media_player_get_time 705681
02-14 15:33:56 libvlc_media_player_get_time 705681
02-14 15:33:56 libvlc_media_player_get_time 705681
02-14 15:33:56 libvlc_media_player_get_time 705681
02-14 15:33:57 libvlc_media_player_get_time 705681
02-14 15:33:57 libvlc_media_player_get_time 705681