working on coverage tests for main.cpp