add test for tvsat