master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
FileExtractor\Extractor.cs
11 4 -
A
ModelAnalyzer.Data\VerificationErrorType.cs
 4 -
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.ForLoop.cs
4 4 -
A
ModelAnalyzer.Verification\Capsule\IntExprCapsule.cs
 4 -
A
ModelAnalyzer.Verification\Capsule\ArithExprCapsule.cs
 4 -
A
ModelAnalyzer.Verification\Capsule\BoolExprCapsule.cs
 4 -
A
ModelAnalyzer.Data\IUnsupported.cs
 4 -
A
Test\ModelAnalyzer.Verification.Test\Miscellaneous\VerifierExtended.cs
1 4 -
A
Test\ModelAnalyzer.Test\Verifiers\CSharpCodeFixVerifier`2.cs
7 4 -
A
Test\ModelAnalyzer.Test\RequireViolationUnitTests.cs
 4 -
A
ModelAnalyzer.Data\Invariant\Invariant.cs
 4 -
A
ModelAnalyzer.Data\Invariant\UnsupportedInvariant.cs
 4 -
A
ModelAnalyzer.Data\Local\ILocal.cs
 4 -
A
Test\ModelAnalyzer.Core.Test\StatementTest.MethodCall.cs
22 4 -
A
Test\ModelAnalyzer.Core.Test\TokenReplacement.cs
9 4 -
A
ModelAnalyzer.Data\Ensure\UnsupportedEnsure.cs
 4 -
A
ModelAnalyzer.Verification\Capsule\IRefExprCapsule.cs
 5 -
A
ModelAnalyzer.Core\ClassModelManager\SemanticModel\IModel.cs
3 5 -
A
ModelAnalyzer.Data\Expression\NewObjectExpression.cs
 5 -
A
ModelAnalyzer.Core\ClassModelManager\SynchronizedVerificationContext.cs
 5 -