![[Jenkins]](/xsemantics/static/f23f4299/images/svgs/logo.svg){kind=logo}
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 | 4 ms | 0 | 0 | 5 | 5 | ||||
| LambdaParsingTest | 1 ms | 0 | 0 | 1 | 1 | ||||
| LambdaTermUtilsTest | 48 ms | 0 | 0 | 3 | 3 | ||||
| LambdaTypeBeautifierTest | 1 ms | 0 | 0 | 11 | 11 | ||||
| LambdaTypeInferAndModifyTest | 15 ms | 0 | 0 | 6 | 6 | ||||
| LambdaTypeSubstitutionTest | 0 ms | 0 | 0 | 3 | 3 | ||||
| LambdaTypeTest | 67 ms | 0 | 0 | 19 | 19 | ||||
| LambdaUnifyTest | 7 ms | 0 | 0 | 13 | 13 | ||||
| LambdaUtilsTest | 0 ms | 0 | 0 | 3 | 3 | ||||
| LambdaValidatorTest | 0.22 sec | 0 | 0 | 3 | 3 | ||||
| TypeSubstitutionsTest | 0 ms | 0 | 0 | 2 | 2 | ||||
| TypeVariableTest | 3 ms | 0 | 0 | 3 | 3 |