master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
Test\ModelAnalyzer.Test\BadExpressionUnitTests.cs
8 15 -
A
Test\ModelAnalyzer.Test\BadEnsureUnitTests.cs
8 13 -
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.NewObject.cs
8 5 -
A
Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.SimpleField.cs
7 9 -
A
Test\ModelAnalyzer.Test\Verifiers\CSharpCodeFixVerifier`2.cs
7 4 -
A
Test\ModelAnalyzer.Test\BadFieldUnitTests.cs
6 3 -
A
ModelAnalyzer\AssumeViolationAnalyzer.cs
6 6 -
A
AnalysisLogger\NullLogger.cs
6 2 -
A
ModelAnalyzer.Core\ClassModelManager\CompilationContext.cs
6 2 -
A
ModelAnalyzer.Data\ClassNameConverter.cs
6 3 -
A
Test\ModelAnalyzer.Verification.Test\Miscellaneous\AliasTableTest.cs
6 4 -
A
Test\ModelAnalyzer.Test\BadRequireUnitTests.cs
6 11 -
A
Test\ModelAnalyzer.Test\BadStatementUnitTests.cs
6 11 -
A
ProcessCommunication\Converter.cs
5 3 -
A
ModelAnalyzer.Core\ClassModelManager\ClassModelManager.Dispose.cs
5 1 -
A
ModelAnalyzer.Core\ClassModelManager\Parser\LocationContext.cs
5 4 -
A
Test\ModelAnalyzer.Test\BadInvariantUnitTests.cs
5 10 -
A
ModelAnalyzer.Verification\Verifier\Verifier.Dispose.cs
5 1 -
A
ModelAnalyzer.Verification\SolverContext\SolverContext.Dispose.cs
5 2 -
A
Test\ModelAnalyzer.Verification.Test\Miscellaneous\AliasNameTest.cs
5 3 -