Test Result : SingleConstraintCompositionTest

0 failures (±0)

33 tests (±0)

All Tests

Test name	Duration	Status
aggregatedClosure	41 ms	Passed
aggregatedReflexiveClosure	55 ms	Passed
javaTypeEmbed1	49 ms	Passed
javaTypeEmbed2	50 ms	Passed
javaTypeEmbed3	41 ms	Passed
misTypedClosure	20 ms	Passed
misTypedReflexiveClosure	21 ms	Passed
mistypedAggregator	34 ms	Passed
mistypedCountAggregator	44 ms	Passed
negatedClosure	20 ms	Passed
negatedReflexiveClosure	17 ms	Passed
noEmbeddedPattern	22 ms	Passed
supertypedCountAggregator	43 ms	Passed
testAggregatorDubiusVariableReuse	43 ms	Passed
testAggregatorDuplicateMarkers	30 ms	Passed
testAggregatorMissingMarker	50 ms	Passed
testAvgAggregator	59 ms	Passed
testCountAllPassed	51 ms	Passed
testCountTypeChecking	40 ms	Passed
testCountWithAggregate	23 ms	Passed
testCountWithAggregate2	22 ms	Passed
testInvalidAggregator	37 ms	Passed
testInvalidAggregatorContext	18 ms	Passed
testInvalidAggregatorContext2	25 ms	Passed
testMinAggregator	51 ms	Passed
testMinAggregatorChain	51 ms	Passed
testMissingComposition	46 ms	Passed
testSumAggregator	88 ms	Passed
validClosure	19 ms	Passed
validClosureChain	20 ms	Passed
validNegation	19 ms	Passed
validReflexiveClosure	22 ms	Passed
validReflexiveClosureChain	21 ms	Passed