master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
Test\ModelAnalyzer.Core.Test\PropertyTest.cs
28 8 -
A
Test\ModelAnalyzer.Core.Test\ClassModelTest.cs
14 8 -
A
ModelAnalyzer.Verification\Expr\ExprArray.cs
 8 -
A
ModelAnalyzer\RequireViolationAnalyzer.cs
4 8 -
A
ProcessCommunication\Timeouts.cs
 8 -
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.Array.cs
11 8 -
A
Test\ModelAnalyzer.Verification.Test\Miscellaneous\CallSequenceTest.cs
4 8 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Parameter.cs
16 8 -
A
ModelAnalyzer.Data\Expression\UnsupportedExpression.cs
 7 -
A
Test\ModelAnalyzer.Core.Test\CompilationContextTest.cs
3 7 -
A
ModelAnalyzer.Data\Statement\PublicMethodCallStatement.cs
 7 -
A
ModelAnalyzer\AnalyzerSemanticModel.cs
11 7 -
A
ModelAnalyzer.Data\ICall.cs
 7 -
A
ModelAnalyzer.Data\Method\IMethod.cs
4 7 -
A
ModelAnalyzer\EnsureViolationAnalyzer.cs
4 7 -
A
Test\ModelAnalyzer.Core.Test\StatementTest.ForLoop.cs
17 7 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Initializer.cs
26 7 -
A
ModelAnalyzer.Data\Local\Local.cs
 7 -
A
Test\ModelAnalyzer.Core.Test\AssertionTest.cs
2 6 -
A
Test\ModelAnalyzer.Core.Test\AssumeTest.cs
3 6 -