master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
ModelAnalyzer.Verification\CallSequence.cs
5 1 -
A
ModelAnalyzer.Data\IClassMemberName.cs
 2 -
A
ModelAnalyzer.Verification\Capsule\ArrayExprCapsule.cs
 3 -
A
AnalysisLogger\FileLogger.cs
20 4 -
A
ModelAnalyzer.Verification\Capsule\BoolExprCapsule.cs
 4 -
A
ModelAnalyzer.Data\IPrivateCall.cs
 1 -
A
ModelAnalyzer.Verification\Capsule\IArithExprCapsule.cs
 2 -
A
ModelAnalyzer.Data\ClassModelTableConverter.cs
3 2 -
A
ModelAnalyzer.Verification\Capsule\IArrayRefExprCapsule.cs
 2 -
A
ModelAnalyzer.Data\IUnsupported.cs
 4 -
A
ModelAnalyzer.Verification\Capsule\IExprCapsule.cs
 2 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Expression.cs
103 54 -
A
ModelAnalyzer.Data\Invariant\IInvariantViolation.cs
 1 -
A
AnalysisLogger\EnvironmentVariable.cs
2 1 -
A
AnalysisLogger\IAnalysisLogger.cs
3 2 -
A
ModelAnalyzer.Core\AssemblyInfo.cs
 5 -
A
ModelAnalyzer.Core\ClassModelManager\CallLocation\ICallLocation.cs
1 1 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Property.cs
37 9 -
A
ModelAnalyzer.Data\Expression\ExpressionType.cs
2 9 -
A
ModelAnalyzer.Data\Parameter\Parameter.cs
 10 -