![[Jenkins]](/xsemantics/static/c0f67874/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 | 26 ms | 0 | 0 | 5 | 5 | ||||
| LambdaParserTest | 49 ms | 0 | 0 | 1 | 1 | ||||
| LambdaTermUtilsTest | 14 ms | 0 | 0 | 3 | 3 | ||||
| LambdaTypeBeautifierTests | 20 ms | 0 | 0 | 11 | 11 | ||||
| LambdaTypeInferAndModifyTest | 0.38 sec | 0 | 0 | 6 | 6 | ||||
| LambdaTypeSubstitutionTest | 16 ms | 0 | 0 | 3 | 3 | ||||
| LambdaTypeTest | 0.44 sec | 0 | 0 | 19 | 19 | ||||
| LambdaUnifyTest | 15 ms | 0 | 0 | 13 | 13 | ||||
| LambdaUtilsTests | 1 ms | 0 | 0 | 3 | 3 | ||||
| LambdaValidatorTest | 22 ms | 0 | 0 | 3 | 3 | ||||
| TypeSubstitutionsTests | 6 ms | 0 | 0 | 2 | 2 | ||||
| TypeVariableTests | 0.11 sec | 0 | 0 | 3 | 3 |