Skip to content
Jenkins
All
JOPA Development
#620
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
Lockable resources
Open Blue Ocean
Embeddable Build Status
Previous Build
Next Build
InferredAttributeChangeValidatorTest
7
7
Took 9 ms
All Tests
Name
Age
Duration
insInferredValueRemovalReturnsFalseWhenChangeToInferredAttributeIsAdditive
0
1 ms
isInferredValueRemovalReturnsTrueWhenChangeRemovesInferredValue
0
1 ms
validateChangeAllowsAdditiveChangeOfPluralAttribute
0
2 ms
validateChangeAllowsAdditiveChangeOfSingularAttribute
0
0 ms
validateChangeExtractsAxiomsForAttributeAndChecksWhetherRemovedOnesAreNotInferred
0
2 ms
validateChangeThrowsInferredAttributeModifiedExceptionWhenRemovedAxiomIsInferred
0
2 ms
validateChangeThrowsInferredAttributeModifiedExceptionWhenSingularAttributeIsModified
0
1 ms
Jenkins