Nonconformances-B--D-metrics--CodeContracts
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
View only
 
 
ABCDEFGHIJK
1
Experimental UnitClassMethodTypeLikely CauseBDB - meanD - mean
2
AutoDiffTermBuilderSumpreconditionStrong precondition14314.003.00
3
BoogieBvTypeProxyMinBitsForpostconditionWeak precondition1426.712.12
4
cceNonNull[T]preconditionCode error2032.001.50
5
CommandLineOptionsAddZ3OptioninvariantCode error7114.0011.00
6
AttributeUsageinvariantCode error41
7
ParseNamedArgumentListinvariantCode error71
8
set_LogPrefixinvariantCode error41
9
set_ProverOptionsinvariantCode error71
10
UsageinvariantCode error41
11
UserWantsToCheckRoutine
invariantCode error41
12
ExprStoreTokpreconditionWeak precondition32
13
GenKillWeightGenKillWeightinvariantCode error12
14
ProgramAddTopLevelDeclarationpreconditionWeak precondition43
15
AddTopLevelDeclarationspreconditionWeak precondition33
16
ClearTopLevelDeclarationspreconditionWeak precondition83
17
TypeGetBvTypepreconditionWeak precondition153
18
VCExprNullaryVCExprNullarypreconditionWeak precondition66
19
VCExprStoreOpVCExprStoreOppreconditionWeak precondition32
20
ContractorAssemblyInfoLoadpreconditionWeak precondition755.333.00
21
DoorPostStartinvariantCode error42
22
VendingMachineDisplayPriceinvariantCode error52
23
DotNetComponentOrientedProgrammingBattlePlayerPresentationget_LifePointspostconditionWeak precondition946.715.14
24
get_LifePointsTxtpostconditionWeak precondition76
25
get_UsernamepostconditionWeak precondition76
26
RoomPresentationChallengeButtonClickedpostconditionCode error24
27
FindBattleButtonClickedpostconditionCode error76
28
RoomUserDTOget_RoomUserStatepostconditionWeak precondition76
29
get_UsernamepostconditionWeak precondition66
30
StatisticsPresentationget_LostGamesCountpostconditionWeak precondition64
31
get_PlayedGamesCountpostconditionWeak precondition64
32
get_UsernamepostconditionWeak precondition66
33
get_WonGamesCountpostconditionWeak precondition64
34
UserDialogPresentationget_ButtonsTextpostconditionWeak precondition74
35
get_DialogMessagepostconditionWeak precondition76
36
get_TitlepostconditionWeak precondition116
37
DotNetExtensionsImprovedMathNV$RoundpreconditionWeak precondition323.002.00
38
DRailRouteParserParsepreconditionCode error222.002.00
39
TrackParserParsepreconditionCode error22
40
EuroManagerGameWorldGameWorldpreconditionWeak precondition334.673.33
41
PhysicsVelocitypreconditionWeak precondition52
42
PitchMapToMetricalLocationpreconditionWeak precondition65
43
FrostFontFeatureget_TagpostconditionStrong postcondition916.935.87
44
IndexedRangeget_LastIndexpostconditionCode error75
45
IndexedRangepreconditionWeak precondition33
46
Matrix3X2Matrix3x2preconditionWeak precondition1018
47
PointDistanceTopostconditionWeak precondition810
48
PointpreconditionWeak precondition46
49
SquaredDistanceTopostconditionWeak precondition53
50
Rectangleget_AreapostconditionWeak precondition22
51
FromEdgespreconditionWeak precondition77
52
get_RightpostconditionWeak precondition3518
53
RectanglepreconditionWeak precondition34
54
Sizeget_AreapostconditionWeak precondition22
55
SizepreconditionWeak precondition22
56
Thicknessget_WidthpostconditionWeak precondition22
57
ThicknesspreconditionWeak precondition55
58
MonoMobileFacebookFacebookClientProcessBatchResultpreconditionCode error101110.0011.00
59
NeuroFlowOHDoubleRangeDoubleRangepreconditionWeak precondition455.334.67
60
InitializationDataInitializationDatapreconditionStrong precondition84
61
IntRangeCreateExclusivepreconditionWeak precondition45
62
ProgrammingAccountDepositpostconditionStrong postcondition514.001.50
63
BagAddpostconditionStrong postcondition32
64
YandexYapiServiceHttpRequestpreconditionCode error555.005.00
65
Mean6.384.08
66
67
3518
68
6254
Loading...
Main menu