master
ModelAnalyzer
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
ModelAnalyzer.Data\AssumeViolation.cs
 3 -
A
ModelAnalyzer.Data\Field\IField.cs
 3 -
A
ModelAnalyzer.Data\BlockScope.cs
 3 -
A
ModelAnalyzer.Core\ClassModelManager\OperatorSyntaxKind.cs
 3 -
A
ModelAnalyzer.Data\IAssertion.cs
 3 -
A
Test\ModelAnalyzer.Core.Test\ExpressionTest.Misc.cs
42 3 -
A
ModelAnalyzer.Data\Table\ReadOnlyFieldTable.cs
 3 -
A
ModelAnalyzer.Data\IPublicCall.cs
 3 -
A
Test\ModelAnalyzer.Core.Test\ClassModelManagerExtended.cs
1 3 -
A
ModelAnalyzer.Data\Invariant\IInvariant.cs
 3 -
A
ModelAnalyzer.Data\ClassNameConverter.cs
6 3 -
A
ProcessCommunication\Mode.cs
 3 -
A
Test\ModelAnalyzer.Core.Test\ClassDeclarationParserTest.cs
1 3 -
A
ModelAnalyzer.Data\Ensure\IEnsure.cs
 3 -
A
Test\ModelAnalyzer.Core.Test\ClassNameTest.cs
4 3 -
A
ModelAnalyzer.Core\ClassModelManager\CallLocation\CallStatementLocation.cs
 3 -
A
ModelAnalyzer.Data\LocationId.cs
2 3 -
A
ModelAnalyzer.Verification\Capsule\IArrayExprCapsule.cs
 3 -
A
ModelAnalyzer.Data\ModelExchange.cs
 3 -
A
ModelAnalyzer.Data\OperatorText.cs
 3 -