Code-coverage tests