Skip to content

Test Result : org.eclipse.xsemantics.example.lambda.tests

0 failures (±0)
72 tests (±0)
Took 1.2 sec.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
LambdaNotOccurTest10 ms0055
LambdaParsingTest33 ms0011
LambdaTermUtilsTest80 ms0033
LambdaTypeBeautifierTest2 ms001111
LambdaTypeInferAndModifyTest55 ms0066
LambdaTypeSubstitutionTest3 ms0033
LambdaTypeTest56 ms001919
LambdaUnifyTest9 ms001313
LambdaUtilsTest1 ms0033
LambdaValidatorTest1 sec0033
TypeSubstitutionsTest1 ms0022
TypeVariableTest7 ms0033