Test Result : ParsingTest

0 failures
24 tests
Took 0.35 sec.

All Tests

Test nameDurationStatus
test_createBodyCondition <maven-backtracking>14 msPassed
test_createBodyCondition <maven>12 msPassed
test_createBodyCondition <tycho>19 msPassed
test_createInvariant <maven-backtracking>13 msPassed
test_createInvariant <maven>13 msPassed
test_createInvariant <tycho>14 msPassed
test_createInvariant_nonBoolean_125684 <maven-backtracking>12 msPassed
test_createInvariant_nonBoolean_125684 <maven>13 msPassed
test_createInvariant_nonBoolean_125684 <tycho>12 msPassed
test_createPostcondition <maven-backtracking>14 msPassed
test_createPostcondition <maven>14 msPassed
test_createPostcondition <tycho>45 msPassed
test_createPrecondition <maven-backtracking>15 msPassed
test_createPrecondition <maven>12 msPassed
test_createPrecondition <tycho>12 msPassed
test_createQuery_125684 <maven-backtracking>14 msPassed
test_createQuery_125684 <maven>16 msPassed
test_createQuery_125684 <tycho>13 msPassed
test_dataTypeAsContext <maven-backtracking>12 msPassed
test_dataTypeAsContext <maven>14 msPassed
test_dataTypeAsContext <tycho>14 msPassed
test_dataTypeAsContext_inferred <maven-backtracking>13 msPassed
test_dataTypeAsContext_inferred <maven>12 msPassed
test_dataTypeAsContext_inferred <tycho>15 msPassed