master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
ModelAnalyzer.Data\Operator\UnaryArithmeticOperator.cs
 2 -
A
ModelAnalyzer.Data\Property\IProperty.cs
 2 -
A
ModelAnalyzer.Core\ClassModelManager\CompilationContext.cs
6 2 -
A
AnalysisLogger\IAnalysisLogger.cs
3 2 -
A
ModelAnalyzer.Verification\Capsule\ISimpleExprCapsule.cs
 2 -
A
ModelAnalyzer.Data\Require\RequireViolation.cs
 2 -
A
ModelAnalyzer.Verification\Capsule\IIntExprCapsule.cs
 2 -
A
ModelAnalyzer.Verification\Capsule\IExprCapsule.cs
 2 -
A
ModelAnalyzer.Verification\Capsule\IBoolExprCapsule.cs
 2 -
A
ModelAnalyzer.Verification\Expr\ExprSet.cs
 2 -
A
ModelAnalyzer.Data\IAssumeViolation.cs
 2 -
A
ModelAnalyzer.Core\ClassModelManager\CallLocation\CallInvariantLocation.cs
 2 -
A
ModelAnalyzer.Verification\Capsule\IObjectRefExprCapsule.cs
 2 -
A
ModelAnalyzer.Data\Statement\ReturnStatement.cs
 2 -
A
ModelAnalyzer.Data\IClassMemberName.cs
 2 -
A
ModelAnalyzer.Data\ClassModelTableConverter.cs
3 2 -
A
ModelAnalyzer.Data\Require\IRequireViolation.cs
 2 -
A
ModelAnalyzer.Core\ClassModelManager\CallLocation\CallRequireLocation.cs
 2 -
A
ModelAnalyzer.Verification\Capsule\IArithExprCapsule.cs
 2 -
A
ModelAnalyzer.Verification\AssemblyInfo.cs
 2 -