| Tests | Errors | Failures | Success Rate | Time |
|---|---|---|---|---|
| 36 | 0 | 0 | 100% | 0.08 |
| Package | Tests | Errors | Failures | Success Rate | Time |
|---|---|---|---|---|---|
| net.sf.jgabl2.core.util.check | 5 | 0 | 0 | 100% | 0.01 |
| net.sf.jgabl2.core.util.check.impl | 30 | 0 | 0 | 100% | 0.05 |
| net.sf.jgabl2.core.data.pq.impl | 1 | 0 | 0 | 100% | 0.02 |
| Class | Tests | Errors | Failures | Success Rate | Time | |
|---|---|---|---|---|---|---|
| AssumptionViolatedExceptionTest | 1 | 0 | 0 | 100% | 0 | |
| InvariantViolatedExceptionTest | 1 | 0 | 0 | 100% | 0.01 | |
| LoopInvariantViolatedExceptionTest | 1 | 0 | 0 | 100% | 0 | |
| PostcondFailedExceptionTest | 1 | 0 | 0 | 100% | 0 | |
| PrecondFailedExceptionTest | 1 | 0 | 0 | 100% | 0 |
| Class | Tests | Errors | Failures | Success Rate | Time | |
|---|---|---|---|---|---|---|
| CautiousCheckPolicyImplTest | 6 | 0 | 0 | 100% | 0.01 | |
| LazyCheckPolicyImplTest | 6 | 0 | 0 | 100% | 0.01 | |
| NormalCheckPolicyImplTest | 6 | 0 | 0 | 100% | 0 | |
| ParanoidCheckPolicyImplTest | 6 | 0 | 0 | 100% | 0.01 | |
| PedanticCheckPolicyImplTest | 6 | 0 | 0 | 100% | 0.02 |
| Class | Tests | Errors | Failures | Success Rate | Time | |
|---|---|---|---|---|---|---|
| PairingHeapTest | 1 | 0 | 0 | 100% | 0.02 |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCreateException | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testEmpty | 0.02 |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCreateException | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testEmpty | 0.02 | |
| testCreateException | 0 | |
| testCreateException | 0 | |
| testCreateException | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0.01 | |
| testCreateException | 0 |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCreateException | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testEmpty | 0.02 | |
| testCreateException | 0 | |
| testCreateException | 0 | |
| testCreateException | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0.01 |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCreateException | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCreateException | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCreateException | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCreateException | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testEmpty | 0.02 | |
| testCreateException | 0 | |
| testCreateException | 0 | |
| testCreateException | 0 |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCreateException | 0 |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCreateException | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testEmpty | 0.02 | |
| testCreateException | 0 |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCreateException | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testCheckAssumption | 0 | |
| testCheckPrecond | 0 | |
| testCheckPostcond | 0 | |
| testCheckLoopInvariant | 0 | |
| testCheckInvariantCheap | 0 | |
| testCheckInvariantExpensive | 0 | |
| testEmpty | 0.02 | |
| testCreateException | 0 | |
| testCreateException | 0 |