master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
ModelAnalyzer.Verification\OperatorBuilder.cs
 2 -
A
ModelAnalyzer.Verification\SolverContext\SolverContext.Dispose.cs
5 2 -
A
ModelAnalyzer.Verification\SolverContext\SolverContext.cs
48 22 -
A
ModelAnalyzer.Verification\VerificationContext.cs
 10 -
A
ModelAnalyzer.Verification\Verifier\Verifier.Dispose.cs
5 1 -
A
ModelAnalyzer.Verification\Verifier\Verifier.Expression.cs
103 31 -
A
ModelAnalyzer.Verification\Verifier\Verifier.Statement.cs
49 27 -
A
ModelAnalyzer.Verification\Verifier\Verifier.cs
 23 -
A
ModelAnalyzer\Analyzer.cs
10 13 -
A
ModelAnalyzer\AnalyzerSemanticModel.cs
11 7 -
A
ModelAnalyzer\AssumeViolationAnalyzer.cs
6 6 -
A
ModelAnalyzer\ClassModelAnalyzer.cs
10 26 -
A
ModelAnalyzer\CompilationContextHelper.cs
1 6 -
A
ModelAnalyzer\EnsureViolationAnalyzer.cs
4 7 -
A
ModelAnalyzer\Initialization.cs
 15 -
A
ModelAnalyzer\InvalidElementAnalyzer.cs
26 18 -
A
ModelAnalyzer\InvariantViolationAnalyzer.cs
4 34 -
A
ModelAnalyzer\RequireViolationAnalyzer.cs
4 8 -
A
ModelAnalyzer\Tools.cs
4 2 -
A
ModelAnalyzer\TypeDeclarationSyntaxExtensions.cs
13 1 -