Exclude coverage reporting of main.m
Add tests of KT3ViewController