| test_createBodyCondition <maven-backtracking> | 3 ms | Passed |
| test_createBodyCondition <maven> | 3 ms | Passed |
| test_createBodyCondition <tycho> | 2 ms | Passed |
| test_createBodyCondition <tycho> | 2 ms | Passed |
| test_createInvariant <maven-backtracking> | 3 ms | Passed |
| test_createInvariant <maven> | 2 ms | Passed |
| test_createInvariant <tycho> | 2 ms | Passed |
| test_createInvariant <tycho> | 2 ms | Passed |
| test_createInvariant_nonBoolean_125684 <maven-backtracking> | 2 ms | Passed |
| test_createInvariant_nonBoolean_125684 <maven> | 2 ms | Passed |
| test_createInvariant_nonBoolean_125684 <tycho> | 2 ms | Passed |
| test_createInvariant_nonBoolean_125684 <tycho> | 2 ms | Passed |
| test_createPostcondition <maven-backtracking> | 4 ms | Passed |
| test_createPostcondition <maven> | 3 ms | Passed |
| test_createPostcondition <tycho> | 2 ms | Passed |
| test_createPostcondition <tycho> | 3 ms | Passed |
| test_createPrecondition <maven-backtracking> | 23 ms | Passed |
| test_createPrecondition <maven> | 3 ms | Passed |
| test_createPrecondition <tycho> | 2 ms | Passed |
| test_createPrecondition <tycho> | 2 ms | Passed |
| test_createQuery_125684 <maven-backtracking> | 3 ms | Passed |
| test_createQuery_125684 <maven> | 2 ms | Passed |
| test_createQuery_125684 <tycho> | 2 ms | Passed |
| test_createQuery_125684 <tycho> | 2 ms | Passed |
| test_dataTypeAsContext <maven-backtracking> | 4 ms | Passed |
| test_dataTypeAsContext <maven> | 3 ms | Passed |
| test_dataTypeAsContext <tycho> | 3 ms | Passed |
| test_dataTypeAsContext <tycho> | 2 ms | Passed |
| test_dataTypeAsContext_inferred <maven-backtracking> | 4 ms | Passed |
| test_dataTypeAsContext_inferred <maven> | 3 ms | Passed |
| test_dataTypeAsContext_inferred <tycho> | 2 ms | Passed |
| test_dataTypeAsContext_inferred <tycho> | 2 ms | Passed |
![[Jenkins]](/ocl/static/34cc1588/images/svgs/logo.svg){kind=logo}
