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 | 10 ms | 0 | 0 | 5 | 5 | ||||
LambdaParsingTest | 33 ms | 0 | 0 | 1 | 1 | ||||
LambdaTermUtilsTest | 80 ms | 0 | 0 | 3 | 3 | ||||
LambdaTypeBeautifierTest | 2 ms | 0 | 0 | 11 | 11 | ||||
LambdaTypeInferAndModifyTest | 55 ms | 0 | 0 | 6 | 6 | ||||
LambdaTypeSubstitutionTest | 3 ms | 0 | 0 | 3 | 3 | ||||
LambdaTypeTest | 56 ms | 0 | 0 | 19 | 19 | ||||
LambdaUnifyTest | 9 ms | 0 | 0 | 13 | 13 | ||||
LambdaUtilsTest | 1 ms | 0 | 0 | 3 | 3 | ||||
LambdaValidatorTest | 1 sec | 0 | 0 | 3 | 3 | ||||
TypeSubstitutionsTest | 1 ms | 0 | 0 | 2 | 2 | ||||
TypeVariableTest | 7 ms | 0 | 0 | 3 | 3 |