Line data Source code
1 : #include "hello.h" 2 : 3 1 : int main() { 4 1 : covered(); 5 1 : return 0; 6 : }