ComparisonAutomaticxJMLExperts
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
View only
 
 
ABCDEFGHIJKLM
1
Conformance NumberExperimental UnitClassMethodTypeAutomatic ResultsSubject 1Subject 2Subject 3
2
CategoryLikely CauseCategoryLikely CauseCategoryLikely CauseCategoryLikely Cause
3
1BoundedStackBoundedStackConstructorpostconditionSpecification errorweak precondition
Specification error
weak precondition
Specification error
weak precondition
Specification error
weak precondition
4
4stacksBoundedStackConstructorinvariantSpecification errorweak precondition
Specification error
weak precondition
Specification error
weak precondition
Code errorCode error
5
10dbcRectangularimaginaryPartpostconditionSpecification errorweak preconditionUndefinedUndefined
Specification error
Undefined
Specification error
weak precondition
6
18list
TwoWayIterator
nextpostconditionSpecification errorweak preconditionCode errorCode error
Specification error
weak postcondition
UndefinedUndefined
7
26HealthCardAllergies_ImplsetAllergyDesignationpostconditionSpecification errorweak preconditionUndefinedUndefinedUndefinedUndefinedCode errorCode error
8
47
Treatment_Impl
setTreatmentIDinvariantSpecification errorweak precondition
Specification error
weak precondition
UndefinedUndefinedCode errorCode error
9
48Vaccine_ImplsetDesignationpreconditionSpecification errorstrong preconditionCode errorCode errorUndefinedUndefinedUndefinedUndefined
10
49Vaccines_Impl
getVaccineDesignation
postconditionSpecification errorweak preconditionUndefinedUndefined
Specification error
weak precondition
Specification error
weak precondition
11
57JAccountingArrayUtilsgetMaxIntArrayIndexpostconditionSpecification errorweak precondition
Specification error
weak precondition
Specification error
weak postcondition
Code errorCode error
12
64CookieUtilsgetDeleteCookiepostconditionSpecification errorweak preconditionCode errorCode error
Specification error
UndefinedUndefinedUndefined
Loading...
Main menu