master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
ModelAnalyzer.Verification\Capsule\IBoolExprCapsule.cs
 2 -
A
ModelAnalyzer.Verification\Capsule\IExprCapsule.cs
 2 -
A
ModelAnalyzer.Data\ClassName.cs
 1 -
A
ModelAnalyzer.Data\Invariant\IInvariant.cs
 3 -
A
ModelAnalyzer.Verification\Capsule\IIntExprCapsule.cs
 2 -
A
ModelAnalyzer.Verification\Capsule\IObjectRefExprCapsule.cs
 2 -
A
ModelAnalyzer.Data\Invariant\IInvariantViolation.cs
 1 -
A
ModelAnalyzer.Verification\Capsule\IRefExprCapsule.cs
 5 -
A
ModelAnalyzer.Verification\Capsule\ISimpleExprCapsule.cs
 2 -
A
ModelAnalyzer.Data\Invariant\IUnsupportedInvariant.cs
 2 -
A
ModelAnalyzer.Verification\Capsule\IntExprCapsule.cs
 4 -
A
ModelAnalyzer.Verification\Capsule\ObjectRefExprCapsule.cs
 1 -
A
ModelAnalyzer.Data\Invariant\Invariant.cs
 4 -
A
ModelAnalyzer.Verification\Capsule\RefExprCapsule.cs
 5 -
A
ModelAnalyzer.Core\ClassModelManager\CallLocation\CallRequireLocation.cs
 2 -
A
ModelAnalyzer.Data\Ensure\Ensure.cs
 5 -
A
ModelAnalyzer.Data\Invariant\InvariantViolation.cs
 1 -
A
ModelAnalyzer.Verification\Collections\IExprCollection.Generic.cs
 1 -
A
ModelAnalyzer.Verification\Collections\IExprCollection.cs
 1 -
A
ModelAnalyzer.Data\Invariant\UnsupportedInvariant.cs
 4 -