master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
ModelAnalyzer\RequireViolationAnalyzer.cs
4 8 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Parameter.cs
16 8 -
A
ProcessCommunication\Timeouts.cs
 8 -
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.Array.cs
11 8 -
A
Test\ModelAnalyzer.Core.Test\ClassModelTest.cs
14 8 -
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.SimpleField.cs
7 9 -
A
Test\ModelAnalyzer.Core.Test\ExpressionTest.FunctionCall.cs
24 9 -
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.FieldWithInitializer.cs
14 9 -
A
ModelAnalyzer.Data\Statement\PrivateMethodCallStatement.cs
 9 -
A
ModelAnalyzer.Data\Expression\PrivateFunctionCallExpression.cs
 9 -
A
ModelAnalyzer.CodeFixes\ClassModelCodeFixProvider.cs
14 9 -
A
ModelAnalyzer.Data\Preloaded\Preloaded.cs
16 9 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Property.cs
37 9 -
A
ModelAnalyzer.Data\Expression\ExpressionType.cs
2 9 -
A
ModelAnalyzer.Data\Parameter\UnsupportedParameter.cs
 10 -
A
Test\ModelAnalyzer.Test\ClassModelUnitTests.cs
36 10 -
A
Test\ModelAnalyzer.Test\BadInvariantUnitTests.cs
5 10 -
A
ModelAnalyzer.Data\Unsupported.cs
10 10 -
A
ModelAnalyzer.Verification\Capsule\Encapsulation.cs
15 10 -
A
ModelAnalyzer.Verification\VerificationContext.cs
 10 -