master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
ModelAnalyzer.Data\IAssertion.cs
 3 -
A
ModelAnalyzer.Data\VerificationState.cs
 5 -
A
ModelAnalyzer.Data\IAssertionViolation.cs
 1 -
A
ModelAnalyzer.Data\IAssumeViolation.cs
 2 -
A
ModelAnalyzer.Data\ClassModel.cs
 38 -
A
ModelAnalyzer.Data\ICall.cs
 7 -
A
ModelAnalyzer.Verification\AssemblyInfo.cs
 2 -
A
ModelAnalyzer.Data\IClassMemberName.cs
 2 -
A
ModelAnalyzer.Verification\Capsule\ArithExprCapsule.cs
 4 -
A
ModelAnalyzer.Core\ClassModelManager\CallLocation\CallInvariantLocation.cs
 2 -
A
ModelAnalyzer.Data\ClassModelTable.cs
 1 -
A
ModelAnalyzer.Verification\Capsule\ArrayExprCapsule.cs
 3 -
A
ModelAnalyzer.Verification\Capsule\ArrayRefExprCapsule.cs
 1 -
A
ModelAnalyzer.Data\IPrivateCall.cs
 1 -
A
ModelAnalyzer.Verification\Capsule\BoolExprCapsule.cs
 4 -
A
ModelAnalyzer.Verification\Capsule\IArithExprCapsule.cs
 2 -
A
ModelAnalyzer.Data\IPublicCall.cs
 3 -
A
ModelAnalyzer.Verification\Capsule\IArrayExprCapsule.cs
 3 -
A
ModelAnalyzer.Verification\Capsule\IArrayRefExprCapsule.cs
 2 -
A
ModelAnalyzer.Data\IUnsupported.cs
 4 -