Class Name:
kiasan.examples.gc.GC Report Rendered: Mon May 04 12:43:42 CDT 2009, by Sireum/Kiasan for Java v0.1.20090504
| Branches Covered For Tests: 0/0 (100%) | |
| Instructions Covered For Tests: 0/0 (100%) |
| Branches Covered For Class: 0/0 (100%) | |
| Instructions Covered For Class: 0/0 (100%) |
- This class is not in a method report, only top methods shown. Stats for tests cannot be generated.
Methods Covered:
| Class / Method | T | E | Instruction Coverage | Branch Coverage | Time |
| 0 | 0 |
0/0
100%
|
0/0
100%
|
||
|
Total
|
0 | 0 |
0/0
100%
|
0/0
100%
|
0.000s |
Source Code:
no class