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 |