testAdditionalLocalIsNotReferenced | 29 ms | Passed |
testAdditionalLocalIsNotReferenced2 | 27 ms | Passed |
testArrayAccessWithCollections | 30 ms | Passed |
testArrayCannotBeInferred | 25 ms | Passed |
testArrayIsAccessedByMethodInvocation | 28 ms | Passed |
testArrayIsAccessedByMethodInvocation2 | 26 ms | Passed |
testArrayIsAssigned | 24 ms | Passed |
testArrayIsAssigned2 | 27 ms | Passed |
testArrayIsQualifiedByThis | 36 ms | Passed |
testBodyPreconditio10 | 27 ms | Passed |
testBodyPrecondition01 | 27 ms | Passed |
testBodyPrecondition02 | 33 ms | Passed |
testBodyPrecondition03 | 41 ms | Passed |
testBodyPrecondition04 | 37 ms | Passed |
testBodyPrecondition05 | 37 ms | Passed |
testBodyPrecondition06 | 31 ms | Passed |
testBodyPrecondition07 | 28 ms | Passed |
testBodyPrecondition08 | 28 ms | Passed |
testBodyPrecondition09 | 31 ms | Passed |
testBodyPrecondition11 | 33 ms | Passed |
testBodyPrecondition12 | 0.24 sec | Passed |
testBodyPrecondition13 | 69 ms | Passed |
testBodyPrecondition344674_1 | 25 ms | Passed |
testBodyPrecondition344674_2 | 24 ms | Passed |
testBodyPrecondition344674_3 | 24 ms | Passed |
testBodyPrecondition344674_4 | 24 ms | Passed |
testBodyPrecondition344674_5 | 24 ms | Passed |
testBodyPrecondition344674_6 | 24 ms | Passed |
testBodyPrecondition344674_7 | 25 ms | Passed |
testBodyPrecondition344674_8 | 23 ms | Passed |
testBodyPrecondition344674_9 | 24 ms | Passed |
testBug110599 | 29 ms | Passed |
testBug127346 | 23 ms | Passed |
testBug130139_1 | 25 ms | Passed |
testBug130139_2 | 34 ms | Passed |
testBug130293_1 | 30 ms | Passed |
testBug130293_2 | 31 ms | Passed |
testBug138353_1 | 25 ms | Passed |
testBug138353_2 | 24 ms | Passed |
testBug148419 | 25 ms | Passed |
testBug149797 | 25 ms | Passed |
testBug163050_1 | 39 ms | Passed |
testBug163050_2 | 68 ms | Passed |
testBug163121 | 29 ms | Passed |
testBug175827 | 30 ms | Passed |
testBug214340_1 | 34 ms | Passed |
testBug214340_2 | 23 ms | Passed |
testBug214340_3 | 30 ms | Passed |
testBug231575_1 | 24 ms | Passed |
testBug510758_1 | 36 ms | Passed |
testBug510758_2 | 28 ms | Passed |
testBug510758_3 | 0.15 sec | Passed |
testBug542936 | 39 ms | Passed |
testBug550726 | 31 ms | Passed |
testBug562291_1 | 43 ms | Passed |
testBug562291_2 | 31 ms | Passed |
testCaptureList | 55 ms | Passed |
testCollection | 28 ms | Passed |
testCollectionBindingIsNull | 57 ms | Passed |
testCollectionIsNotArray | 32 ms | Passed |
testCollectionTypeBindingIsNull | 27 ms | Passed |
testCollectionsAccepted | 40 ms | Passed |
testCollectionsAccepted2 | 30 ms | Passed |
testCollectionsAccepted3 | 29 ms | Passed |
testExpressionPrecondition01 | 26 ms | Passed |
testExpressionPrecondition02 | 26 ms | Passed |
testExpressionPrecondition03 | 50 ms | Passed |
testExpressionPrecondition04 | 24 ms | Passed |
testExpressionPrecondition05 | 23 ms | Passed |
testExpressionPrecondition06 | 28 ms | Passed |
testExpressionPrecondition07 | 22 ms | Passed |
testExpressionPrecondition08 | 22 ms | Passed |
testIndexBruteModified | 25 ms | Passed |
testIndexBruteModified2 | 28 ms | Passed |
testIndexDoesNotStartFromZero | 27 ms | Passed |
testIndexReadOutsideArrayAccess | 24 ms | Passed |
testIndexReadOutsideArrayAccess_StringConcatenation | 28 ms | Passed |
testIndexReadOutsideInferredArrayAccess | 27 ms | Passed |
testIndexReadOutsideInferredArrayAccess2 | 28 ms | Passed |
testInferCollectionFromInitializers | 35 ms | Passed |
testInferPrimitiveTypeElement | 27 ms | Passed |
testInferTypeElement | 38 ms | Passed |
testInitializerPrecondition01 | 27 ms | Passed |
testInitializerPrecondition02 | 68 ms | Passed |
testInitializerPrecondition03 | 33 ms | Passed |
testInitializerPrecondition04 | 29 ms | Passed |
testInitializerPrecondition05 | 94 ms | Passed |
testInitializerPrecondition06 | 32 ms | Passed |
testLengthVariable | 28 ms | Passed |
testLengthVariableNotEquals | 27 ms | Passed |
testLotsOfRefereces | 41 ms | Passed |
testMapCollectionsNotAccepted | 27 ms | Passed |
testMatrix | 30 ms | Passed |
testMatrix2 | 31 ms | Passed |
testMultipleCollectionsNotAccepted | 33 ms | Passed |
testNameDetectionAllChildren | 30 ms | Passed |
testNameDetectionChildren | 28 ms | Passed |
testNameDetectionEntries | 28 ms | Passed |
testNameDetectionProxies | 30 ms | Passed |
testNameDetectionS | 29 ms | Passed |
testNameDetectionlocationEntries | 27 ms | Passed |
testNiceReduction | 31 ms | Passed |
testNiceReductionArrayIsField | 47 ms | Passed |
testNotEqualsComparison | 39 ms | Passed |
testReverseTraversalIsNotAllowed | 27 ms | Passed |
testSimplestClean | 33 ms | Passed |
testSimplestSmokeCase | 30 ms | Passed |
testTwoIndexesNotAllowed | 27 ms | Passed |
testUpdatePrecondition01 | 27 ms | Passed |
testUpdatePrecondition02 | 25 ms | Passed |
testUpdatePrecondition03 | 25 ms | Passed |
testUpdatePrecondition04 | 26 ms | Passed |
testUpdatePrecondition06 | 28 ms | Passed |
testUpdatePrecondition07 | 24 ms | Passed |
testUpperBoundList | 30 ms | Passed |
testWildcardList | 64 ms | Passed |
testWrongComparison | 0.1 sec | Passed |