Automated Code Analysis

ohcount analysis of eprover_1.0.004-1.dsc

                          Ohloh Line Count Summary                          

Language          Files       Code    Comment  Comment %      Blank      Total
----------------  -----  ---------  ---------  ---------  ---------  ---------
c                   352     109757      38857      26.1%      21170     169784
awk                  42       5828        416       6.7%        941       7185
python               35       5632       2356      29.5%       1938       9926
tex                   8       3016         73       2.4%        618       3707
html                 12       1654          0       0.0%        195       1849
shell                23        562         77      12.1%        128        767
make                 20        523        365      41.1%        372       1260
autoconf              1        114          0       0.0%          6        120
emacslisp             1         81          0       0.0%          1         82
----------------  -----  ---------  ---------  ---------  ---------  ---------
Total               494     127167      42144      24.9%      25369     194680

---