master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
ModelAnalyzer.Data\AssumeViolation.cs
 3 -
A
ModelAnalyzer.Data\AssemblyInfo.cs
 3 -
A
ModelAnalyzer.Data\ArraySize.cs
 1 -
A
ModelAnalyzer.Core\VerificationProcessStartMode.cs
 1 -
A
ModelAnalyzer.Core\ClassModelManager\SynchronizedVerificationContext.cs
 5 -
A
ModelAnalyzer.Core\ClassModelManager\SemanticModel\MadeUpSemanticModel.cs
12 8 -
A
ModelAnalyzer.Core\ClassModelManager\SemanticModel\IModel.cs
3 5 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ParsingContext.cs
 13 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\LocationContext.cs
5 4 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.cs
 58 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Statement.cs
 49 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Require.cs
19 21 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Property.cs
37 9 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Parameter.cs
16 8 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Method.cs
 52 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Local.cs
24 16 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Invariant.cs
14 17 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Initializer.cs
26 7 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Field.cs
19 23 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Expression.cs
103 54 -