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 | 36 ms | 0 | 0 | 5 | 5 | ||||
LambdaParserTest | 51 ms | 0 | 0 | 1 | 1 | ||||
LambdaTermUtilsTest | 15 ms | 0 | 0 | 3 | 3 | ||||
LambdaTypeBeautifierTests | 25 ms | 0 | 0 | 11 | 11 | ||||
LambdaTypeInferAndModifyTest | 0.35 sec | 0 | 0 | 6 | 6 | ||||
LambdaTypeSubstitutionTest | 17 ms | 0 | 0 | 3 | 3 | ||||
LambdaTypeTest | 0.46 sec | 0 | 0 | 19 | 19 | ||||
LambdaUnifyTest | 16 ms | 0 | 0 | 13 | 13 | ||||
LambdaUtilsTests | 1 ms | 0 | 0 | 3 | 3 | ||||
LambdaValidatorTest | 24 ms | 0 | 0 | 3 | 3 | ||||
TypeSubstitutionsTests | 6 ms | 0 | 0 | 2 | 2 | ||||
TypeVariableTests | 0.13 sec | 0 | 0 | 3 | 3 |