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