Test Result : ParsingTest

0 failures
24 tests
Took 77 ms.

All Tests

Test nameDurationStatus
test_createBodyCondition <maven-backtracking>3 msPassed
test_createBodyCondition <maven>3 msPassed
test_createBodyCondition <tycho>3 msPassed
test_createInvariant <maven-backtracking>3 msPassed
test_createInvariant <maven>5 msPassed
test_createInvariant <tycho>3 msPassed
test_createInvariant_nonBoolean_125684 <maven-backtracking>2 msPassed
test_createInvariant_nonBoolean_125684 <maven>3 msPassed
test_createInvariant_nonBoolean_125684 <tycho>3 msPassed
test_createPostcondition <maven-backtracking>4 msPassed
test_createPostcondition <maven>3 msPassed
test_createPostcondition <tycho>4 msPassed
test_createPrecondition <maven-backtracking>3 msPassed
test_createPrecondition <maven>3 msPassed
test_createPrecondition <tycho>3 msPassed
test_createQuery_125684 <maven-backtracking>3 msPassed
test_createQuery_125684 <maven>4 msPassed
test_createQuery_125684 <tycho>3 msPassed
test_dataTypeAsContext <maven-backtracking>3 msPassed
test_dataTypeAsContext <maven>4 msPassed
test_dataTypeAsContext <tycho>4 msPassed
test_dataTypeAsContext_inferred <maven-backtracking>2 msPassed
test_dataTypeAsContext_inferred <maven>3 msPassed
test_dataTypeAsContext_inferred <tycho>4 msPassed