master
CodeProverBinding
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
Test\CodeProverBinding.Test\Expression\Comparison\TestComparison.cs
10 1 -
A
CodeProverBinding\Expression\Logical\UnaryLogicalExpression.cs
1 2 -
A
Test\CodeProverBinding.Test\Expression\ConstantExpression\TestFloatingPoint.cs
8 3 -
A
CodeProverBinding\Capsule\IBoolExprCapsule.cs
 3 -
A
Test\CodeProverBinding.Test\Expression\ConstantExpression\TestIntegerLong.cs
7 1 -
A
CodeProverBinding\Expression\Operator\BinaryLogicalOperator.cs
 2 -
A
Test\CodeProverBinding.Test\Expression\ConstantExpression\TestIntegerULong.cs
7 1 -
A
CodeProverBinding\Expression\Comparison\ComparisonExpression.cs
1 2 -
A
Test\CodeProverBinding.Test\Expression\Equality\TestEquality.cs
8 1 -
A
CodeProverBinding\Expression\Operator\EqualityOperator.cs
 1 -
A
Test\CodeProverBinding.Test\Expression\Logical\TestUnaryLogical.cs
6 1 -
A
CodeProverBinding\AssemblyInfo.cs
 1 -
A
CodeProverBinding\Expression\Operator\UnaryLogicalOperator.cs
 1 -
A
CodeProverBinding\Alias\AliasNaming.cs
3 1 -
A
CodeProverBinding\Alias\IAliasNaming.cs
1 1 -
A
CodeProverBinding\Binder.Correctness.cs
9 5 -
A
CodeProverBinding\Capsule\IArithExprCapsule.Generic.cs
 1 -
A
CodeProverBinding\CorrectnessCheckType.cs
 1 -
A
CodeProverBinding\Expression\IIntegerExpression.cs
 2 -
A
CodeProverBinding\Symbol\IntegerSymbol.cs
2 3 -