master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
Test\ModelAnalyzer.Core.Test\ClassModelManagerContainer.cs
1 2 -
A
ModelAnalyzer.Verification\Capsule\IBoolExprCapsule.cs
 2 -
A
ModelAnalyzer.Data\IClassMemberName.cs
 2 -
A
ModelAnalyzer.Data\ClassModelTableConverter.cs
3 2 -
A
ModelAnalyzer.Verification\Alias\VariableAlias.cs
5 2 -
A
ModelAnalyzer.Core\ClassModelManager\CallLocation\CallRequireLocation.cs
 2 -
A
ModelAnalyzer.Data\Invariant\IUnsupportedInvariant.cs
 2 -
A
AnalysisLogger\IAnalysisLogger.cs
3 2 -
A
ModelAnalyzer.Verification\AssemblyInfo.cs
 2 -
A
ModelAnalyzer.Verification\OperatorBuilder.cs
 2 -
A
ModelAnalyzer.Verification\Expr\IExprBase.cs
 2 -
A
ModelAnalyzer.Verification\Capsule\IArithExprCapsule.cs
 2 -
A
ModelAnalyzer.Data\Ensure\IUnsupportedEnsure.cs
 2 -
A
ModelAnalyzer.Data\Statement\Statement.cs
 2 -
A
ModelAnalyzer.Data\Property\IProperty.cs
 2 -
A
ModelAnalyzer.Data\Operator\BinaryArithmeticOperator.cs
 2 -
A
ModelAnalyzer.Verification\SolverContext\SolverContext.Dispose.cs
5 2 -
A
ModelAnalyzer.Verification\Expr\ExprSingle.cs
 2 -
A
ModelAnalyzer.Verification\Expr\ExprSet.cs
 2 -
A
ModelAnalyzer.Data\TextBuilder.cs
1 2 -