Path	Lines of Code
regression/analysis/cprover-analysis/main.c	29