Test Result : TypeInferenceTest

0 failures (±0)

36 tests (±0)

All Tests

Test name	Duration	Status
ambiguousParameterType1	22 ms	Passed
ambiguousParameterType2	17 ms	Passed
ambiguousParameterType3	17 ms	Passed
boolLiteralType	30 ms	Passed
complexHierarchyOK	15 ms	Passed
countAggregatedComputationValueType	40 ms	Passed
doubleLiteralType	34 ms	Passed
errorTypeTest1	23 ms	Passed
errorTypeTest2	17 ms	Passed
errorTypeTest3	14 ms	Passed
firstLevelFindType	38 ms	Passed
firstLevelPathType	48 ms	Passed
injectivityConstraintTest	31 ms	Passed
intLiteralType	33 ms	Passed
mistypedNegativePatternCall	18 ms	Passed
mistypedParameter	15 ms	Passed
noTypeInferenceFromNegativePatternCall	18 ms	Passed
notMistypedParameter	32 ms	Passed
parameterTest	33 ms	Passed
parameterTest2	29 ms	Passed
parameterTest3	26 ms	Passed
parameterTest4	27 ms	Passed
recursiveParameterTypeInference	24 ms	Passed
secondLevelFindType	69 ms	Passed
stringLiteralType	33 ms	Passed
supertypeAsParameter	43 ms	Passed
supertypeAsParameter2	37 ms	Passed
supertypeAsParameter3	19 ms	Passed
supertypeAsParameter4	20 ms	Passed
supertypeAsParameter5	13 ms	Passed
supertypeAsParameter6	48 ms	Passed
supertypeAsParameter7	30 ms	Passed
transitiveClosureInferenceTest	15 ms	Passed
warningTypeTest1	17 ms	Passed
zeroLevelPathType	32 ms	Passed
zeroLevelType	29 ms	Passed