| Name | Status | Type | Time(s) |
| callsHaveTheirDeclaredTypes | Success | | 0.008 |
| codeForOtherLanguagesIsNotChecked | Success | | 0.001 |
| bodyWrittenAtColumnZero | Success | | 0.001 |
| contractsAndInvariantsAreRenderedInPython | Success | | 0.017 |
| linesInsideStringsAreKeptByteForByte | Success | | 0.000 |
| inheritedConstantsAreReachedThroughTheClass | Success | | 0.002 |
| overloadCallsUseTheSelectedReturnType | Success | | 0.013 |
| constraintKnownLongPromotesUncertainWidths | Success | | 0.047 |
| unsupportedUserCodeIsReportedAtItsLocation | Success | | 0.004 |
| dispatcherForGeneratedOverloads | Success | | 0.001 |
| importsFollowBeforeCodeAndAuthoredDocstrings | Success | | 0.002 |
| pythonBodyWinsThenAWrittenUntaggedBody | Success | | 0.002 |
| recognizesDocstrings | Success | | 0.001 |
| methodWithOnlyOtherLanguagesIsLeftOutWithAWarning | Success | | 0.001 |
| injectionsOfAGeneratedMethod | Success | | 0.002 |
| freshNamesAvoidModelledMembersAndNumberedOverloads | Success | | 0.001 |
| onlyInjectionsWrittenWithAroundAreAroundInjections | Success | | 0.001 |
| constraintsFollowJavaForTextAndObjects | Success | | 0.004 |
| quotesAndHashesInsideStringsAreText | Success | | 0.000 |
| firstLineThatOpensABlockHoldingEverythingIsShallower | Success | | 0.000 |
| firstLineThatOpensABlockIsLevelWithALaterStatement | Success | | 0.000 |
| overloadReturnTypesStayUnknownWhenArgumentsDoNotDecide | Success | | 0.008 |
| nativeCodeIsBracketedBySourceMarkersWhenItsStartIsKnown | Success | | 0.000 |
| codeSlotsUseTheirPythonBodyElseTheirTranslatedUntaggedBody | Success | | 0.001 |
| continuationLinesKeepTheirOffsets | Success | | 0.000 |
| generatedBulkGettersHaveArrayReturnTypes | Success | | 0.003 |
| givesAStatementItsOwnLine | Success | | 0.006 |
| constraintShapeWithoutAPythonFormStopsTheClass | Success | | 0.002 |
| markerLikeLinesInsideStringsAreText | Success | | 0.000 |
| constraintsReadAttributesOverParameters | Success | | 0.002 |
| codeSlotSelection | Success | | 0.000 |
| lineEndingsAndBlankLines | Success | | 0.000 |
| tabsFollowPythonTabStops | Success | | 0.000 |
| extraCodePiecesKeepTheirSourceMarkers | Success | | 0.001 |
| constraintNonNullTextExcludesModelOverloads | Success | | 0.002 |
| qualifiedConstantsReadTheirOwnersValue | Success | | 0.006 |
| listsStringsAndIntegerArithmeticFollowJava | Success | | 0.004 |
| readsLogicalStatementsAndEnclosingDefaults | Success | | 0.002 |
| bindsWhatPythonScopesBind | Success | | 0.000 |
| constraintsReadConstantsOfOtherClasses | Success | | 0.004 |
| lengthIsSpecialOnlyForStringsAndArrays | Success | | 0.006 |
| codeOnlyForOtherLanguagesIsReported | Success | | 0.003 |
| commentLinesDoNotSetTheIndentation | Success | | 0.000 |
| constraintOverloadShiftsLeaveUncertainWidthsUnmasked | Success | | 0.007 |
| firstLineIsLevelWithTheNextStatement | Success | | 0.000 |
| pythonMainIsPublicStaticVoidWithOneParameterAndAPythonBody | Success | | 0.002 |
| importsOfNativeCodeKeepTheFunctionsOwnNames | Success | | 0.002 |
| constraintShiftsUsePromotedLeftWidths | Success | | 0.015 |
| aBareReturnInATransitionActionIsReported | Success | | 0.002 |
| lengthArgumentsSelectIntegralOverloads | Success | | 0.004 |
| guardsAreRenderedInPython | Success | | 0.014 |
| namesNativeCodeUsesAndBinds | Success | | 0.000 |
| firstLineIndentationIsRestoredWhenKnown | Success | | 0.000 |
| uncertainOverloadsKeepACommonReturnType | Success | | 0.008 |
| interfaceCallsUseDeclaredAndInheritedReturnTypes | Success | | 0.004 |
| constraintsNameStatesAndJavaValueMethods | Success | | 0.006 |
| bodyWithoutStatementsGetsPass | Success | | 0.000 |
| constraintNumbersTakeJavasValue | Success | | 0.004 |