Test Result : SingleConstraintCompositionTest

0 failures (±0)

33 tests (±0)

All Tests

Test name	Duration	Status
aggregatedClosure	39 ms	Passed
aggregatedReflexiveClosure	64 ms	Passed
javaTypeEmbed1	49 ms	Passed
javaTypeEmbed2	52 ms	Passed
javaTypeEmbed3	41 ms	Passed
misTypedClosure	19 ms	Passed
misTypedReflexiveClosure	18 ms	Passed
mistypedAggregator	35 ms	Passed
mistypedCountAggregator	38 ms	Passed
negatedClosure	19 ms	Passed
negatedReflexiveClosure	19 ms	Passed
noEmbeddedPattern	18 ms	Passed
supertypedCountAggregator	52 ms	Passed
testAggregatorDubiusVariableReuse	44 ms	Passed
testAggregatorDuplicateMarkers	38 ms	Passed
testAggregatorMissingMarker	54 ms	Passed
testAvgAggregator	56 ms	Passed
testCountAllPassed	45 ms	Passed
testCountTypeChecking	42 ms	Passed
testCountWithAggregate	19 ms	Passed
testCountWithAggregate2	21 ms	Passed
testInvalidAggregator	37 ms	Passed
testInvalidAggregatorContext	19 ms	Passed
testInvalidAggregatorContext2	31 ms	Passed
testMinAggregator	54 ms	Passed
testMinAggregatorChain	49 ms	Passed
testMissingComposition	38 ms	Passed
testSumAggregator	0.11 sec	Passed
validClosure	18 ms	Passed
validClosureChain	18 ms	Passed
validNegation	17 ms	Passed
validReflexiveClosure	18 ms	Passed
validReflexiveClosureChain	22 ms	Passed