Thanks for the links. The TV supports Miracast, for example according to this: http://pdf.crse.com/manuals/13LW600114/EN/wfdisplay_wfintegrated.html
I was also able to add it to the project menu, so I suppose that means it is compatible.
Is there a logging mechanism to see Miracast-related events?