Skip to content
Jenkins
Java Tools
JOPA Development
#430
Tests
cz.cvut.kbss.jopa.sessions.validator
InferredAttributeChangeValidatorTest
Search
Sign in
Status
Changes
Console Output
View Build Information
History
Polling Log
Timings
Git Build Data
Tests
Open Blue Ocean
Embeddable Build Status
Previous Build
Next Build
InferredAttributeChangeValidatorTest
5
5
Took 3 ms
All Tests
Name
Age
Duration
validateChangeAllowsAdditiveChangeOfPluralAttribute
0
0 ms
validateChangeAllowsAdditiveChangeOfSingularAttribute
0
1 ms
validateChangeExtractsAxiomsForAttributeAndChecksWhetherRemovedOnesAreNotInferred
0
0 ms
validateChangeThrowsInferredAttributeModifiedExceptionWhenRemovedAxiomIsInferred
0
1 ms
validateChangeThrowsInferredAttributeModifiedExceptionWhenSingularAttributeIsModified
0
1 ms
Jenkins