master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
ModelAnalyzer\CompilationContextHelper.cs
1 6 -
A
Test\ModelAnalyzer.Core.Test\AssumeTest.cs
3 6 -
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.MiscStatements.cs
23 6 -
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.MethodCall.cs
19 6 -
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.FunctionCall.cs
21 6 -
A
Test\ModelAnalyzer.Core.Test\CompilationContextTest.cs
3 7 -
A
ModelAnalyzer.Data\Statement\PublicMethodCallStatement.cs
 7 -
A
ModelAnalyzer.Data\Expression\UnsupportedExpression.cs
 7 -
A
Test\ModelAnalyzer.Core.Test\StatementTest.ForLoop.cs
17 7 -
A
ModelAnalyzer.Data\ICall.cs
 7 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Initializer.cs
26 7 -
A
ModelAnalyzer.Data\Local\Local.cs
 7 -
A
ModelAnalyzer.Data\Method\IMethod.cs
4 7 -
A
ModelAnalyzer\AnalyzerSemanticModel.cs
11 7 -
A
ModelAnalyzer\EnsureViolationAnalyzer.cs
4 7 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Parameter.cs
16 8 -
A
ModelAnalyzer.Core\ClassModelManager\SemanticModel\MadeUpSemanticModel.cs
12 8 -
A
ModelAnalyzer.Data\Expression\PublicFunctionCallExpression.cs
 8 -
A
ModelAnalyzer.Verification\Expr\ExprArray.cs
 8 -
A
Test\ModelAnalyzer.Core.Test\ClassModelTest.cs
14 8 -