master
CodeProverBinding
Repository badge with APlus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
Test\CodeProverBinding.Test\Expression\ConstantExpression\TestIntegerUInt.cs
7 1 -
A
Test\CodeProverBinding.Test\Expression\ConstantExpression\TestReference.cs
7 2 -
A
Test\CodeProverBinding.Test\Expression\SymbolExpression\TestReference.cs
7 2 -
A
Test\CodeProverBinding.Test\Binder\BinderTest.Binding.cs
7 3 -
A
CodeProverBinding\Capsule\Encapsulation.cs
7 5 -
A
Test\CodeProverBinding.Test\Expression\SymbolExpression\TestObjectReference.cs
7 2 -
A
Test\CodeProverBinding.Test\Expression\Arithmetic\TestIntegerUnaryArithmetic.cs
6 2 -
A
Test\CodeProverBinding.Test\Expression\Logical\TestUnaryLogical.cs
6 1 -
A
Test\CodeProverBinding.Test\Binder\BinderTest.Alias.cs
6 3 -
A
CodeProverBinding\Binder.Dispose.cs
5 3 -
A
Test\CodeProverBinding.Test\Capsule\Int.cs
5 1 -
A
Test\CodeProverBinding.Test\Capsule\ObjectRef.cs
5 1 -
A
Test\CodeProverBinding.Test\Capsule\ArrayRef.cs
5 1 -
A
CodeProverBinding\ProverContextZ3.Dispose.cs
5 1 -
A
Test\CodeProverBinding.Test\ProverContext\ProverContextZ3Test.Dispose.cs
4 1 -
A
Test\CodeProverBinding.Test\Capsule\Ref.cs
4 1 -
A
Test\CodeProverBinding.Test\Capsule\Arith.cs
4 1 -
A
Test\CodeProverBinding.Test\Binder\BinderTest.Dispose.cs
4 1 -
A
CodeProverBinding\Expression\Expression.cs
4 7 -
A
CodeProverBinding\Binder.Binding.cs
4 3 -