test_createBodyCondition <maven-backtracking> | 28 ms | Passed |
test_createBodyCondition <maven> | 30 ms | Passed |
test_createBodyCondition <tycho> | 27 ms | Passed |
test_createInvariant <maven-backtracking> | 28 ms | Passed |
test_createInvariant <maven> | 28 ms | Passed |
test_createInvariant <tycho> | 26 ms | Passed |
test_createInvariant_nonBoolean_125684 <maven-backtracking> | 29 ms | Passed |
test_createInvariant_nonBoolean_125684 <maven> | 27 ms | Passed |
test_createInvariant_nonBoolean_125684 <tycho> | 26 ms | Passed |
test_createPostcondition <maven-backtracking> | 44 ms | Passed |
test_createPostcondition <maven> | 42 ms | Passed |
test_createPostcondition <tycho> | 37 ms | Passed |
test_createPrecondition <maven-backtracking> | 28 ms | Passed |
test_createPrecondition <maven> | 28 ms | Passed |
test_createPrecondition <tycho> | 26 ms | Passed |
test_createQuery_125684 <maven-backtracking> | 30 ms | Passed |
test_createQuery_125684 <maven> | 28 ms | Passed |
test_createQuery_125684 <tycho> | 27 ms | Passed |
test_dataTypeAsContext <maven-backtracking> | 39 ms | Passed |
test_dataTypeAsContext <maven> | 35 ms | Passed |
test_dataTypeAsContext <tycho> | 37 ms | Passed |
test_dataTypeAsContext_inferred <maven-backtracking> | 40 ms | Passed |
test_dataTypeAsContext_inferred <maven> | 37 ms | Passed |
test_dataTypeAsContext_inferred <tycho> | 61 ms | Passed |