code-contracts

23 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Are code contracts supported in .net core?
user_146987060
•
4
1
1125
.net-core code-contracts .net c#
Upon reading about Code Contracts I cannot discern their goal
user_43091180
•
2
1
45
code-contracts c#
Code contracts can't prove that elment exists in list
user_12429670
•
3
0
71
post-conditions code-contracts .net c#
Is it possible to violate Liskov Substitution Principle in a constructor?
user_37750790
•
6
3
899
solid-principles liskov-substitution-principle code-contracts c#
Code Contracts for C# does not work when ContractFor is on a different assembly
user_31227290
•
6
1
370
code-contracts visual-studio-2010 .net c#
Debug.Assert vs Code Contract usage
user_4424440
•
45
2
10715
assert code-contracts c#
ReSharper Possible Null Exception when null is already checked
user_1570170
•
9
3
2197
code-contracts nullreferenceexception extension-methods resharper c#
What happened to Code Contracts?
user_1904800
•
10
2
825
code-contracts .net
Why does CodeContracts warn me that "requires unproven: index < @this.Count" even though I have already checked the count?
user_1050840
•
8
2
782
code-contracts .net c#
Is Code Contracts failing to spot obvious relationship between Nullable<T>.HasValue and null?
user_11310
•
11
3
275
static-code-analysis code-contracts c#
Hot Questions