Test Result : org.eclipse.xsemantics.example.lambda.tests
0 failures
(±0)
72 tests
(±0)
All Tests
Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
---|---|---|---|---|---|---|---|---|---|
LambdaNotOccurTest | 8 ms | 0 | 0 | 5 | 5 | ||||
LambdaParsingTest | 5 ms | 0 | 0 | 1 | 1 | ||||
LambdaTermUtilsTest | 80 ms | 0 | 0 | 3 | 3 | ||||
LambdaTypeBeautifierTest | 2 ms | 0 | 0 | 11 | 11 | ||||
LambdaTypeInferAndModifyTest | 68 ms | 0 | 0 | 6 | 6 | ||||
LambdaTypeSubstitutionTest | 1 ms | 0 | 0 | 3 | 3 | ||||
LambdaTypeTest | 0.12 sec | 0 | 0 | 19 | 19 | ||||
LambdaUnifyTest | 14 ms | 0 | 0 | 13 | 13 | ||||
LambdaUtilsTest | 1 ms | 0 | 0 | 3 | 3 | ||||
LambdaValidatorTest | 0.48 sec | 0 | 0 | 3 | 3 | ||||
TypeSubstitutionsTest | 0 ms | 0 | 0 | 2 | 2 | ||||
TypeVariableTest | 6 ms | 0 | 0 | 3 | 3 |