![[Jenkins]](/xsemantics/static/f23f4299/images/svgs/logo.svg){kind=logo}
Test Result : LambdaTermUtilsTest
0 failures
(±0)
3 tests
(±0)
All Tests
| Test name | Duration | Status |
|---|---|---|
| testExplicitType | 3 ms | Passed |
| testExplicitTypes | 72 ms | Passed |
| testNoTypes | 5 ms | Passed |
| Test name | Duration | Status |
|---|---|---|
| testExplicitType | 3 ms | Passed |
| testExplicitTypes | 72 ms | Passed |
| testNoTypes | 5 ms | Passed |