adding additional coverage tests for main.cpp