dlebansais/ModelAnalyzer

master

ModelAnalyzer

Grade	Name	Complexity	Churn	Issues
A	ModelAnalyzer.Verification\Verifier\Verifier.cs		23	-
A	ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Field.cs	19	23	-
A	ModelAnalyzer.Verification\SolverContext\SolverContext.cs	48	22	-
A	ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Require.cs	19	21	-
A	ModelAnalyzer.Data\Method\Method.cs		21	-
A	ModelAnalyzer.Data\Expression\UnaryArithmeticExpression.cs		20	-
A	Test\ModelAnalyzer.Core.Test\TestHelper.cs	30	20	-
A	ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Ensure.cs	17	20	-
A	ModelAnalyzer.Data\Expression\VariableValueExpression.cs		19	-
A	Test\ModelAnalyzer.Core.Test\NameAndItemTableTest.cs	17	19	-
A	Test\ModelAnalyzer.Core.Test\ParameterTest.cs	13	18	-
A	ModelAnalyzer.Data\Expression\BinaryArithmeticExpression.cs		18	-
A	ModelAnalyzer\InvalidElementAnalyzer.cs	26	18	-
A	Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.Operators.cs	78	17	-
A	ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Invariant.cs	14	17	-
A	Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.SimpleFieldAssignment.cs	10	16	-
A	Test\ModelAnalyzer.Verification.Test\Verifier\VerifierTest.ConditionalAssignment.cs	17	16	-
A	ModelAnalyzer.Data\Expression\ComparisonExpression.cs		16	-
A	ModelAnalyzer.Core\ClassModelManager\Parser\ClassDeclarationParser.Local.cs	24	16	-
A	ModelAnalyzer.Data\Expression\BinaryLogicalExpression.cs		15	-