master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
ModelAnalyzer.Verification\SolverContext\SolverContext.cs
48 22 -
A
ModelAnalyzer.Verification\SolverContext\SolverContext.Dispose.cs
5 2 -
A
ModelAnalyzer.Verification\OperatorBuilder.cs
 2 -
A
ModelAnalyzer.Verification\ObjectManager.cs
 36 -
A
ModelAnalyzer.Verification\Instance.cs
 1 -
A
ModelAnalyzer.Verification\Expr\IExprSingle.cs
 1 -
A
ModelAnalyzer.Verification\Expr\IExprSet.cs
 1 -
A
ModelAnalyzer.Verification\Expr\IExprBase.cs
 2 -
A
ModelAnalyzer.Verification\Expr\ExprSingle.cs
 2 -
A
ModelAnalyzer.Verification\Expr\ExprSet.cs
 2 -
A
ModelAnalyzer.Verification\Expr\ExprObject.cs
 4 -
A
ModelAnalyzer.Verification\Expr\ExprArray.cs
 8 -
A
ModelAnalyzer.Verification\Collections\ReadOnlyExprCollection.cs
 1 -
A
ModelAnalyzer.Verification\Collections\IReadOnlyExprCollection.cs
 1 -
A
ModelAnalyzer.Verification\Collections\IReadOnlyExprCollection.Generic.cs
 1 -
A
ModelAnalyzer.Verification\Collections\IExprCollection.cs
 1 -
A
ModelAnalyzer.Verification\Collections\IExprCollection.Generic.cs
 1 -
A
ModelAnalyzer.Verification\Collections\ExprCollection.cs
1 1 -
A
ModelAnalyzer.Verification\Capsule\RefExprCapsule.cs
 5 -
A
ModelAnalyzer.Verification\Capsule\ObjectRefExprCapsule.cs
 1 -