master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.FunctionCall.cs
21 6 -
A
Test\ModelAnalyzer.Core.Test\TestInitialization.cs
1 6 -
A
Test\ModelAnalyzer.Core.Test\AssumeTest.cs
3 6 -
A
ModelAnalyzer.Data\Property\Property.cs
 6 -
A
Test\ModelAnalyzer.Core.Test\AssertionTest.cs
2 6 -
A
ModelAnalyzer.Data\VerificationResult.cs
 6 -
A
ModelAnalyzer.Data\Local\UnsupportedLocal.cs
 6 -
A
ModelAnalyzer.Data\Table\ReadOnlyNameAndItemTable.cs
3 6 -
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.MiscStatements.cs
23 6 -
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.MethodCall.cs
19 6 -
A
ModelAnalyzer\AssumeViolationAnalyzer.cs
6 6 -
A
ModelAnalyzer.Verification\Capsule\RefExprCapsule.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 -
A
ModelAnalyzer.Data\Expression\RemainderExpression.cs
 5 -
A
ModelAnalyzer.Verification\Capsule\IRefExprCapsule.cs
 5 -
A
ModelAnalyzer.Data\Table\ParameterTable.cs
1 5 -
A
ModelAnalyzer.Data\VerificationState.cs
 5 -
A
ModelAnalyzer.Data\Ensure\Ensure.cs
 5 -