| Symbol file(s) | : | MON.sym (Tue Oct 30 11:14:47 2007) |
| Data file(s) | : | MON.dat (Sat Jul 26 14:25:02 2008) |
| Listing produced at | : | Sat Jul 26 14:25:02 2008 |
| Coverage view | : | As instrumented |
| Input listing | : | STDIN |
| Html generated at | : | Sat Jul 26 14:25:02 2008 |
| ctc2html v2.2 options | : | -t 80 |
| Threshold percent | : | 80 % |
| TER % | - | covered/ all | File | |
| Directory: . | ||||
| 88 % | 28/ 32 | | AbstractSpace.java | |
| 88 % | 28/ 32 | | DIRECTORY OVERALL (.) | |
| 88 % | 28/ 32 | | OVERALL | |
| Number of directories | : | 1 |
| Number of monitored source files | : | 1 |
| Number of functions | : | 10 |
| Number of source lines | : | 125 |
| Number of measurement points | : | 43 |
| TER | : | 88% (multicondition) |