✅ AbsMethod2Test
✅ AbsMethodTest
✅ AcosMethodTest
✅ ArithmeticsMethod2Test
✅ ArithmeticsMethod3Test
✅ AsinMethodTest
✅ Atan2Method1Test
✅ Atan2Method2Test
✅ Atan2Method3Test
✅ AtanMethodTest
✅ BigSumCycleTest
✅ BigSumTest
✅ CeilingMethodTest
✅ CheckOverflow4Test
✅ CheckSumOfIntAndShortTest
✅ CheckSumOfSingedAndUnsignedTest
✅ ConcreteShiftTest
✅ CoshMethodTest
✅ CosMethodTest
✅ DecimalTestTest
✅ DecimalTestTest1
✅ DecimalTestTest2
✅ DecimalTestTest3
✅ DecimalTestTest4
✅ DecimalTestTest5
✅ DecreasingTest
✅ DefaultShiftTest
✅ DoubleShiftRightTest
✅ ExpMethod1Test
✅ ExpMethod2Test
✅ FloorMethodTest
✅ ImpossibleBugTest
✅ ImpossibleBugTest1
✅ ImpossibleBugTest2
✅ IncrementsWorkCorrectTest
✅ LogMethod1Test
✅ LogMethod2Test
✅ LogMethod3Test
✅ LogMethod4Test
✅ LogMethod5Test
✅ LogMethod6Test
✅ LogMethod7Test
✅ MultiplyOnShift1Test
✅ MultiplyOnShift2Test
✅ MultiplyShifts1Test
✅ MultiplyShifts2Test
✅ PossibleBugTest
✅ PossibleBugTest1
✅ PowMethod10Test
✅ PowMethod11Test
✅ PowMethod12Test
✅ PowMethod13Test
✅ PowMethod14Test
✅ PowMethod15Test
✅ PowMethod16Test
✅ PowMethod17Test
✅ PowMethod1Test
✅ PowMethod2Test
✅ PowMethod3Test
✅ PowMethod4Test
✅ PowMethod5Test
✅ PowMethod6Test
✅ PowMethod7Test
✅ PowMethod8Test
✅ PowMethod9Test
✅ RoundMethodTest
✅ ShiftDevision1Test
✅ ShiftDevision2Test
✅ ShiftDevision3Test
✅ ShiftDevision4Test
✅ ShiftLeftOnZeroTest
✅ ShiftMultiplicationTest
✅ ShiftSumOfShifts1Test
✅ ShiftSumOfShifts2Test
✅ ShiftSumTest
✅ ShiftWithDivAndMulTest
✅ ShrTest
✅ ShrTestTest
✅ SinhMethodTest
✅ SinMethodTest
✅ SmallBigSumTest
✅ SqrtMethod1Test
✅ SqrtMethod2Test
✅ SqrtMethod3Test
✅ SqrtMethod4Test
✅ SumOfIntAndShortTest
✅ SumOfIntAndUintTest
✅ SumShiftsTest
✅ TanhMethodTest
✅ TanMethodTest
✅ ZeroShiftTest

✅ CopyToError
✅ CopyToError1
✅ CopyToTest

✅ DisallowNullTestTest
✅ NotNullCallsDisallowNullTestError
✅ NotNullCallsDisallowNullTestTest

✅ DisallowNullCallsNotNullTestTest
✅ DisallowNullTest1Test
✅ DisallowNullTest2Test
✅ DisallowNullTest3Test
✅ DisallowNullTest3Test1
✅ DisallowNullTest3Test2
✅ NotNullCallsDisallowNullTest1Error
✅ NotNullCallsDisallowNullTest1Test
✅ NotNullCallsDisallowNullTest2Error
✅ NotNullCallsDisallowNullTest2Test
✅ NotNullCallsDisallowNullTest3Error
✅ NotNullCallsDisallowNullTest3Test
✅ NotNullTest1Test
✅ NotNullTest1Test1
✅ NotNullTest2Error
✅ NotNullTest2Test
✅ NotNullTest3Error
✅ NotNullTest4Test
✅ NotNullTest5Error
✅ ReadAllError

✅ test2Test
✅ test3Test
✅ test4Test
✅ test6Test
✅ test6Test1
✅ testTest

✅ AlwaysNullTest
✅ Box7Test
✅ BoxIntegerTest
✅ BoxNullableTest
✅ TrickyBoxTest
✅ TrickyBoxTest1
✅ True1Test
✅ True2Test
✅ True3Test

✅ BoxReferenceTest

✅ RefTest1Test
✅ RefTest1Test1
✅ RefTest1Test2

✅ InTest1Test
✅ InTest1Test1
✅ InTest1Test2
✅ InTest2Test
✅ InTest2Test1
✅ OutTest1Test
✅ OutTest1Test1
✅ OutTest1Test2
✅ OutTest2Test
✅ OutTest2Test1
✅ RefTest1Test
✅ RefTest1Test1
✅ RefTest1Test2
✅ RefTest2Test
✅ RefTest2Test1
✅ RefTest3Test
✅ RefTest3Test1

✅ ApplyMoveAndCheckOtherValidMovesTest
✅ ApplyMoveAndCheckValidTest
✅ CheckEqualityTest
✅ CheckMate1Test
✅ CheckMate1Test1
✅ CheckMoveIsValidAndApplyTest
✅ CreateGameTest
✅ CreatePositionTest
✅ GetPieceTest
✅ HasAnyValidMovesTest

✅ MergingClassesFieldsTestTest
✅ MergingClassesFieldsTestTest1
✅ MergingClassesFieldsTestTest2

✅ TestProperty1Test

✅ NonStaticClassTestTest
✅ TestProperty1Test
✅ TestProperty2Test

✅ SimpleStructureAccessTest
✅ Test1Test
✅ ValueTypeMethodTest
✅ ValueTypeMethodTest1
✅ ValueTypeMethodTest2

✅ DelegateField1Error
✅ DelegateField1Test
✅ DelegateField1Test1
✅ DelegateField1Test2
✅ DelegateField1Test3

✅ DelegateField2Error
✅ DelegateField2Error1
✅ DelegateField2Error2
✅ DelegateField2Test
✅ DelegateField2Test1
✅ DelegateField2Test2
✅ DelegateField2Test3

✅ DelegateField3Error
✅ DelegateField3Test
✅ DelegateField3Test1

✅ DelegateField4Test
✅ DelegateField4Test1

✅ AddListenerTest
✅ AddListenerTest1
✅ FireEventTest
✅ FireEventTest1
✅ RemoveListenerTest
✅ RemoveListenerTest1

✅ Always18Test
✅ DeclareAfterReturnTest
✅ DeclareAfterReturnTest1
✅ DeclareAfterReturnTest2
✅ FirstEvenGreaterThen7Test
✅ IsMaxEvenTest

✅ ArrayContainsOurCustomerError
✅ ArrayContainsOurCustomerError1
✅ ArrayContainsOurCustomerTest
✅ ArrayContainsOurCustomerTest1
✅ ArrayContainsOurCustomerTest2
✅ ContainsOurCustomerError
✅ ContainsOurCustomerTest
✅ ContainsOurCustomerTest1
✅ ListContainsOurCustomerError
✅ ListContainsOurCustomerTest

✅ AcyclicGotosTest
✅ AcyclicGotosTest1
✅ AcyclicGotosTest2
✅ BinarySearchError
✅ BinarySearchTest
✅ BinarySearchTest1
✅ BinarySearchTest2
✅ BinarySearchTest3
✅ BinarySearchTest4
✅ BinarySearchTest5
✅ BinarySearchTest6
✅ ForSimpleTest
✅ ForSimpleTest1
✅ ForsWithContinueAndBreakTest
✅ ForsWithContinueAndBreakTest1
✅ ForsWithContinueAndBreakTest2
✅ ForWithBreakTest
✅ ForWithBreakTest1
✅ ForWithBreakTest2
✅ GotoWithinWhileTest
✅ GotoWithinWhileTest1
✅ GotoWithinWhileTest2
✅ GotoWithinWhileTest3
✅ GotoWithinWhileTest4
✅ IncomingCallGraphEdgesTestTest
✅ IncomingCallGraphEdgesTestTest1
✅ IncomingCallGraphEdgesTestTest2
✅ NestedFors2Test
✅ NestedFors2Test1
✅ NestedForsSimpleTest
✅ NestedForsSimpleTest1
✅ SequentialIfsHardTest
✅ SequentialIfsHardTest1
✅ SequentialIfsSimpleTest
✅ SequentialIfsSimpleTest1
✅ SwitchWithSequentialCasesTest
✅ SwitchWithSequentialCasesTest1
✅ SwitchWithSequentialCasesTest2
✅ SwitchWithSequentialCasesTest3
✅ SwitchWithSequentialCasesTest4
✅ SwitchWithSequentialCasesTest5

✅ ConvDoubleToIntTest
✅ ConvDoubleToShortTest
✅ ConvDoubleToUIntTest
✅ ConvIntToDoubleTest
✅ ConvOvfMaxDoubleToSingleTest
✅ ConvShortToDoubleTest
✅ Test1Test
✅ TestConvDoubleToUIntTest
✅ TestNarrowingConvTest
✅ UnboxAnyInterfaceToStructValidTest
✅ UnboxAnyStructToInterfaceValidTest

✅ DelegateParameter1Error
✅ DelegateParameter1Test
✅ DelegateParameter2Error
✅ DelegateParameter2Test
✅ DelegateParameter3Error
✅ DelegateParameter3Test
✅ DelegateParameter3Test1
✅ DelegateParameter4Error
✅ DelegateParameter4Test
✅ DelegateParameter4Test1
✅ DelegateParameter4Test2
✅ DelegateParameter5Test
✅ DelegateParameter5Test1
✅ InnerDelegateTest
✅ InnerDelegateTest1

✅ Color2IntTest
✅ Color2IntTest1
✅ Color2IntTest2
✅ NonZeroEnumTestTest
✅ SymbolicColor2IntTest
✅ SymbolicColor2IntTest1

✅ ConsoleWriteLineStringTest

✅ CallInsideFinallyTest
✅ CatchRuntimeExceptionError
✅ CatchRuntimeExceptionTest
✅ CatchRuntimeExceptionTest1
✅ ConcreteThrowInCallTest
✅ NestedTryCatchFinallyTest
✅ ReturnMinWithAssertTest
✅ TestWithAssertTest
✅ TestWithNestedFinallyHandlersTest
✅ TryWith2LeavesTest
✅ TryWith2LeavesTest1

✅ GetFieldsTest
✅ SetFieldTest

✅ RetRTest
✅ RetVTest

✅ TestFooTest
✅ TestFooTest1

✅ SubstNestedGenericError
✅ SubstNestedGenericTest
✅ SubstNestedGenericTest1

✅ GetValueError
✅ GetValueError1
✅ GetValueError2
✅ GetValueError3
✅ GetValueTest
✅ GetValueTest1
✅ SetValueError
✅ SetValueError1
✅ SetValueTest

✅ GetValueError
✅ GetValueError1
✅ GetValueTest
✅ GetValueTest1
✅ GetValueTest2
✅ SetValueError
✅ SetValueError1
✅ SetValueTest
✅ SetValueTest1
✅ SetValueTest2

✅ ArrayRank_1Test
✅ ArrayRank_2Test
✅ ArrayRank_3Test
✅ ArrayRank_5Test
✅ ArrayRank_CATCH_IIE_1Test
✅ ArrayRank_IIE_1Test
✅ CallMethodOfStruct_1Test
✅ CallMethodOfStruct_2Test
✅ CallVirtualMethod_1Test
✅ CallVirtualMethod_2Test
✅ CallVirtualMethod_3Test
✅ CallVirtualMethod_CATCH_IIE_1Test
✅ CallVirtualMethod_IIE_1Test
✅ CallVirtualMethod_IIE_1Test1
✅ CanNotInstantiateUnknownTypeTest
✅ EnsureConcreteType_1Test
✅ EnsureConcreteType_2Test
✅ EnsureConcreteType_3Test
✅ MakeDefault_2Test
✅ MakeDefault_3Test
✅ MakeDefault_4Test

✅ Always18Test
✅ ConcreteLambdaInvokeSymbolicTest
✅ DoubleValueTest
✅ DoubleValueTest1
✅ FuncFromFunctionTest
✅ FuncFromLambdaTest
✅ LambdaAsObjectIsLambdaTest
✅ SymbolicLambdaInvokeError
✅ SymbolicLambdaInvokeTest

✅ ConcreteLinqTestTest
✅ HardSymbolicLinqTestTest
✅ HardSymbolicLinqTestTest1
✅ HardSymbolicLinqTestTest2
✅ HardSymbolicLinqTestTest3
✅ SelectTestTest
✅ SimpleSymbolicLinqTestTest
✅ SimpleSymbolicLinqTestTest1
✅ SimpleSymbolicLinqTestTest2
✅ SymbolicLinqTest2Test
✅ SymbolicLinqTest2Test1
✅ SymbolicLinqTest2Test2
✅ SymbolicLinqTest2Test3
✅ SymbolicLinqTest2Test4
✅ SymbolicLinqTest2Test5

✅ ArrayElementsAreReferencesError
✅ ArrayElementsAreReferencesError1
✅ ArrayElementsAreReferencesTest
✅ ArrayLengthTest
✅ ArrayLengthTest1
✅ ArrayLengthTest2
✅ ArraySymbolicUpdate2Error
✅ ArraySymbolicUpdate2Test
✅ ArraySymbolicUpdate3Error
✅ ArraySymbolicUpdate3Test
✅ ArraySymbolicUpdate3Test1
✅ ArraySymbolicUpdate3Test2
✅ ArraySymbolicUpdate3Test3
✅ ArraySymbolicUpdateError
✅ ArraySymbolicUpdateTest
✅ CheckArrayContainsTest
✅ ConcreteClearTestTest
✅ ConstructTest
✅ CopyAndBranchError
✅ CopyAndBranchError1
✅ CopyAndBranchTest
✅ CopyAndBranchTest1
✅ CopyAndThenWriteError
✅ CopyAndThenWriteTest
✅ CopyConcreteToConcreteArrayTest
✅ CopyConcreteToSymbolicArrayError
✅ CopyConcreteToSymbolicArrayTest
✅ CopySymbolicIndicesToConcreteArray1Error
✅ CopySymbolicIndicesToConcreteArray1Error1
✅ CopySymbolicIndicesToConcreteArray1Test
✅ CopySymbolicIndicesToConcreteArray1Test1
✅ CopySymbolicIndicesToConcreteArray1Test2
✅ CopySymbolicIndicesToConcreteArray2Error
✅ CopySymbolicIndicesToConcreteArray2Error1
✅ CopySymbolicIndicesToConcreteArray2Test
✅ CopySymbolicIndicesToConcreteArray2Test1
✅ CopySymbolicIndicesToConcreteArrayError
✅ CopySymbolicIndicesToConcreteArrayTest
✅ CopySymbolicIndicesToConcreteArrayTest1
✅ LowerBoundTestTest
✅ MakeDefaultAndWriteTest
✅ RankTestTest
✅ RetOneDArray1Test
✅ RetOneDArray1Test1
✅ RetOneDArray2Error
✅ RetOneDArray2Test
✅ RetOneDArray2Test1
✅ SolverTestArrayKeyError
✅ SolverTestArrayKeyError1
✅ SolverTestArrayKeyTest
✅ SolverTestArrayKeyTest1
✅ SolverTestConcreteArrayTest
✅ SymbolicInitializeTest
✅ SymbolicRecursiveArrayError
✅ SymbolicRecursiveArrayError1
✅ SymbolicRecursiveArrayTest
✅ SymbolicWriteAfterConcreteWrite2Error
✅ SymbolicWriteAfterConcreteWrite2Test
✅ SymbolicWriteAfterConcreteWriteTest
✅ TestConnectionBetweenIndicesAndValuesError
✅ TestConnectionBetweenIndicesAndValuesError1
✅ TestConnectionBetweenIndicesAndValuesTest
✅ TestConnectionBetweenMultiIndicesAndValuesError
✅ TestConnectionBetweenMultiIndicesAndValuesError1
✅ TestConnectionBetweenMultiIndicesAndValuesTest
✅ TestConnectionBetweenMultiIndicesAndValuesTest1
✅ TestOverlappingCopy1Error
✅ TestOverlappingCopy1Error1
✅ TestOverlappingCopy1Test
✅ TestOverlappingCopy1Test1
✅ TestOverlappingCopy1Test2
✅ TestOverlappingCopy1Test3
✅ TestOverlappingCopy1Test4
✅ TestOverlappingCopyTest
✅ TestOverlappingCopyTest1
✅ TestSolvingCopy1Error
✅ TestSolvingCopy1Test
✅ TestSolvingCopy1Test1
✅ TestSolvingCopy1Test2
✅ TestSolvingCopy1Test3
✅ TestSolvingCopy1Test4
✅ TestSolvingCopy1Test5
✅ TestSolvingCopy2Error
✅ TestSolvingCopy2Test
✅ TestSolvingCopy2Test1
✅ TestSolvingCopy2Test2
✅ TestSolvingCopy2Test3
✅ TestSolvingCopy2Test4
✅ TestSolvingCopy2Test5
✅ TestSolvingCopy2Test6
✅ TestSolvingCopy2Test7
✅ TestSolvingCopy3Test
✅ TestSolvingCopy3Test1
✅ TestSolvingCopy3Test2
✅ TestSolvingCopy3Test3
✅ TestSolvingCopy3Test4
✅ TestSolvingCopy3Test5
✅ TestSolvingCopy4Test
✅ TestSolvingCopy4Test1
✅ TestSolvingCopy4Test2
✅ TestSolvingCopy4Test3
✅ TestSolvingCopy4Test4
✅ TestSolvingCopy4Test5
✅ TestSolvingCopy5Error
✅ TestSolvingCopy5Error1
✅ TestSolvingCopy5Test
✅ TestSolvingCopy5Test1
✅ TestSolvingCopy5Test2
✅ TestSolvingCopy5Test3
✅ TestSolvingCopy5Test4
✅ TestSolvingCopy6Error
✅ TestSolvingCopy6Error1
✅ TestSolvingCopy6Test
✅ TestSolvingCopy6Test1
✅ TestSolvingCopy6Test2
✅ TestSolvingCopy6Test3
✅ TestSolvingCopy6Test4
✅ TestSolvingCopyError
✅ TestSolvingCopyError1
✅ TestSolvingCopyTest
✅ TestSolvingCopyTest1
✅ TestSolvingCopyTest2
✅ TestSolvingCopyTest3
✅ TypeSolverCheck2Test
✅ TypeSolverCheck2Test1
✅ TypeSolverCheck2Test2
✅ TypeSolverCheck3Test
✅ TypeSolverCheck3Test1
✅ TypeSolverCheck3Test2
✅ TypeSolverCheckError
✅ TypeSolverCheckTest
✅ UpperBoundTestTest
✅ WriteAndThenCopyError
✅ WriteAndThenCopyError1
✅ WriteAndThenCopyTest

✅ BuildError
✅ BuildTest
✅ BuildTest1
✅ BuildTest10
✅ BuildTest11
✅ BuildTest12
✅ BuildTest13
✅ BuildTest14
✅ BuildTest15
✅ BuildTest16
✅ BuildTest17
✅ BuildTest18
✅ BuildTest19
✅ BuildTest2
✅ BuildTest20
✅ BuildTest21
✅ BuildTest3
✅ BuildTest4
✅ BuildTest5
✅ BuildTest6
✅ BuildTest7
✅ BuildTest8
✅ BuildTest9

✅ And1Test
✅ And2Test
✅ And3Test
✅ And4Test
✅ And5Test
✅ And6Test
✅ And7Test
✅ And8Test
✅ And9Test
✅ AndOr0Test
✅ AndOr10Test
✅ AndOr11Test
✅ AndOr12Test
✅ AndOr13Test
✅ AndOr14Test
✅ AndOr15Test
✅ AndOr16Test
✅ AndOr17Test
✅ AndOr18Test
✅ AndOr19Test
✅ AndOr1Test
✅ AndOr20Test
✅ AndOr21Test
✅ AndOr22Test
✅ AndOr23Test
✅ AndOr24Test
✅ AndOr25Test
✅ AndOr26Test
✅ AndOr2Test
✅ AndOr3Test
✅ AndOr4Test
✅ AndOr5Test
✅ AndOr6Test
✅ AndOr7Test
✅ AndOr8Test
✅ AndOr9Test
✅ CondAnd1Test
✅ CondAnd2Test
✅ CondAnd3Test
✅ CondOr1Test
✅ CondOr2Test
✅ CondOr3Test
✅ Equal1Test
✅ Equal2Test
✅ Equal3Test
✅ Negation1Test
✅ Negation2Test
✅ Negation3Test
✅ Negation4Test
✅ Negation5Test
✅ NotEqual1Test
✅ NotEqual2Test
✅ Or10Test
✅ Or1Test
✅ Or2Test
✅ Or3Test
✅ Or4Test
✅ Or5Test
✅ Or6Test
✅ Or7Test
✅ Or8Test
✅ Or9Test
✅ Order1Test
✅ Order2Test
✅ Order3Test
✅ Order4Test
✅ Xor1Test
✅ Xor2Test
✅ Xor3Test
✅ Xor4Test
✅ Xor5Test
✅ Xor6Test
✅ Xor7Test
✅ Xor8Test

✅ BranchInterfaceError
✅ BranchInterfaceTest
✅ BranchInterfaceTest1
✅ BranchInterfaceTest2
✅ BranchInterfaceTest3
✅ ComputeWithDependence2Error
✅ ComputeWithDependence2Test
✅ ComputeWithDependence2Test1
✅ ComputeWithDependence2Test2
✅ ComputeWithDependence3Test
✅ ComputeWithDependence3Test1
✅ ComputeWithDependence3Test2
✅ ComputeWithDependenceError
✅ ComputeWithDependenceTest
✅ ComputeWithDependenceTest1
✅ Enumerable2Error
✅ Enumerable2Test
✅ Enumerable2Test1
✅ EnumerableError
✅ EnumerableTest
✅ InterfaceInheritance1Error
✅ InterfaceInheritance1Test
✅ InterfaceInheritance1Test1
✅ InterfaceInheritance2Error
✅ InterfaceInheritance2Test
✅ InterfaceInheritance2Test1
✅ ItemMockError
✅ ItemMockTest
✅ ItemMockTest1
✅ ReadAllFromNetworkTest
✅ ReadAllFromNetworkTest1

✅ NestedGenericsSmokeTest2Error
✅ NestedGenericsSmokeTest2Test
✅ NestedGenericsSmokeTest2Test1
✅ NestedGenericsSmokeTestError
✅ NestedGenericsSmokeTestTest
✅ NestedGenericsSmokeTestTest1

✅ AbsPpEqualsAbsTest
✅ AddressesBecomeComplicatedTest
✅ BreakCallSitesCompositionCycleTest
✅ BreakCallSitesCompositionCycleTest1
✅ BreakCallSitesCompositionRecursionTest
✅ BreakCallSitesCompositionRecursionTest1
✅ BreakCallSitesCompositionTest
✅ ByRefTest1Test
✅ ByRefTest2CallTest
✅ ByRefTest2Test
✅ ByRefTest3Test
✅ CallIncrementOutsideTest
✅ CallStaticCtorTest
✅ CheckInvalidCfaConstructionTest
✅ CheckInvalidCfaConstructionTest1
✅ CheckOperationalStackBalanceTest
✅ CheckOperationalStackBalanceTest1
✅ Conv_Ovf_short_intTest
✅ CreateClassThatHasClassInsideTest
✅ CreateClassThatHasStructInsideTest
✅ CreateClassViaNewobjTest
✅ CreateStructViaNewobjTest
✅ DoubleAllocateViaCallTest
✅ DoubleInitializeObjectsTest
✅ EnsureConcreteType_1Test
✅ FunctionsCompositionTest
✅ Gotos1Test
✅ Gotos1Test1
✅ LdelemaTest1Test
✅ LdelemaTest2Error
✅ LdelemaTest2Test
✅ Many_ConversionsTest
✅ MultipleInitializeStaticFieldsInCfaTest
✅ NewarrAllocatesArrayWithConcreteAddress2Test
✅ NewarrAllocatesArrayWithConcreteAddress3Test
✅ NewarrAllocatesArrayWithConcreteAddressTest
✅ NewarrWithBranchingTest
✅ NewarrWithBranchingTest1
✅ NewObj1Test
✅ NewObjAndDupTest
✅ NewObjInLoop1Test
✅ NewObjInLoopTest
✅ NewObjWithBranchingTest
✅ NewObjWithBranchingTest1
✅ NRE_TESTError
✅ NRE_TESTTest
✅ qweqweError
✅ qweqweTest
✅ ReadFieldOfCLass1Error
✅ ReadFieldOfCLass1Test
✅ SameNTest
✅ SequentialNewObjsTest
✅ SimpleIfTest
✅ SimpleIfTest1
✅ SmokeTestTest
✅ StructIsAllocatedInTemporaryLocalVariableBeforeCallingCtorTest
✅ SumOfIntAndUintTest
✅ SymbolicHeapRefIsNotIdempotentError
✅ SymbolicHeapRefIsNotIdempotentTest
✅ TernaryIfTest
✅ TernaryIfTest1
✅ Test1_StructWithStructInside2Test
✅ Test100500Test
✅ Test2_StructWithStructInside2Test
✅ Test3_StructWithStructInside2Test
✅ TestAllocatedType_1Test
✅ TestAllocatedType_2Test
✅ TestAllocatedType_3Test
✅ TestAllocatedType_4Test
✅ TestAllocatedType_4Test1
✅ TestArgCompositionError
✅ TestArgCompositionTest
✅ TestCompositionWhenCallDividesBlocksAndSomeInformationIsPropagatedTest
✅ TestConcreteArrayTest
✅ TestConversionsTest
✅ TestDefaultFieldsAllocationTest
✅ TestForCycle_5xTest
✅ TestForty_WithSet0Test
✅ TestFortyTest
✅ TestLengths_1Test
✅ TestLengths_2Test
✅ TestLengths_3Test
✅ TestLengths_4Test
✅ TestLengths_5Test
✅ TestLengths_6Test
✅ TestLowerBound_1Test
✅ TestLowerBound_2Test
✅ TestNextTest
✅ TestPopStackWithReservedVariableTest
✅ TestRefClass1Test
✅ TestRefClassTest
✅ TestThatEffectsDoNotSpreadToDifferentBasicBlocksTest

✅ IsInRectTest
✅ IsInRectTest1
✅ IsInRectTest2
✅ IsInRectTest3
✅ StaticMethodTest
✅ StaticMethodTest1
✅ ThrowIfNotOnXAxisTest
✅ ThrowIfNotOnXAxisTest1

✅ GetArrayTest

✅ ArithmeticalProgressionError
✅ ArithmeticalProgressionTest
✅ ArithmeticalProgressionTest1
✅ ArithmeticalProgressionTest2
✅ ArithmeticalProgressionTest3
✅ ArithmeticalProgressionTest4
✅ ArithmeticalProgressionTest5
✅ FirstElementOfLinkedListTest
✅ FirstElementOfLinkedListTest1
✅ FirstElementOfLinkedListTest2
✅ MemoryTestError
✅ MemoryTestError1
✅ MemoryTestTest
✅ TestStackTest
✅ TestStackTest1

✅ RecObjectTest
✅ RecObjectTest1

✅ TestGetTypeNameTest

✅ OwnImplementationTest2Test
✅ OwnImplementationTest4Error
✅ OwnImplementationTest4Test
✅ OwnImplementationTestTest
✅ OwnImplementationTestTest1
✅ OwnImplementationTestTest2
✅ OwnImplementationTestTest3
✅ OwnImplementationTestTest4
✅ OwnImplementationTestTest5

✅ SetTest

✅ RetConstructedR0Test
✅ RetConstructedRWithIntTest
✅ RetConstructedRWithObjectTest
✅ RetConstructedVWithIntTest
✅ Test_MixedGenericParameterAndTypeGenerics_RetT_1Test
✅ Test_MixedGenericParameterAndTypeGenerics_RetT_2Test
✅ Test_MixedGenericParameterAndTypeGenerics_RetV_1Test
✅ Test_MixedGenericParameterAndTypeGenerics_RetW_1Test
✅ Test_OnlyGenericMethod_1Test
✅ Test_OnlyGenericMethod_2Test
✅ Test_RetDuplicateV_1Test

✅ InitStaticCctorTest

✅ ConcreteStringToUpperTest
✅ EmptyStringTest
✅ GetCharOfStringTest
✅ HopHeyCharArrayTest
✅ NullLengthError
✅ StringOfConcreteCharArrayTest
✅ StringOfNullCharArrayTest
✅ StringOfReplicatedCharTest
✅ SymbolicStringCharEqError
✅ SymbolicStringCharEqTest
✅ SymbolicStringError
✅ SymbolicStringTest

✅ RetWorkedTest
✅ RetWorkedTest1

✅ CheckGeneratedDepthSymbolicTest
✅ CheckGeneratedDepthSymbolicTest1
✅ CheckGeneratedDepthSymbolicTest2

✅ FactResultTest
✅ FactResultTest1

✅ UnboxAny1Test
✅ UnboxAny4Test
✅ UnboxAny5Test
✅ UnboxAny6Test

✅ CastTest

✅ ArrayConcreteSafeRead1Test
✅ ArrayConcreteSafeRead2Test
✅ ArrayConcreteSafeWriteTest
✅ ArrayConcreteUnsafeReadTest
✅ ArrayConcreteUnsafeWriteTest
✅ ArraySymbolicSafeReadTest
✅ ArraySymbolicUnsafeRead2Test
✅ ArraySymbolicUnsafeReadTest
✅ ArraySymbolicUnsafeWrite2Test
✅ ArraySymbolicUnsafeWrite2Test1
✅ ArraySymbolicUnsafeWrite2Test2
✅ ArraySymbolicUnsafeWrite2Test3
✅ ArraySymbolicUnsafeWriteTest
✅ ChangeThroughIndirectionTest
✅ CharSizeOfTest
✅ CheckUnsafeArrayCopyTest
✅ CheckUnsafeArrayCopyTest1
✅ CheckUnsafeArrayCopyTest2
✅ CheckUnsafeArrayCopyTest3
✅ CheckUnsafeArrayCopyTest4
✅ CheckUnsafeArrayCopyTest5
✅ ClassSymbolicReadZeroBetweenFieldsTest
✅ ClassSymbolicUnsafeRead2Test
✅ ClassSymbolicUnsafeReadTest
✅ ClassWriteSafeOverlappingFieldsTest
✅ CreateIntPtrAndCheckEqualsTest
✅ DoubleIndirectionTest
✅ IdentityTestTest
✅ RetConcreteTest
✅ ReturnClassTest
✅ ReturnConstTest
✅ ReturnFieldTest
✅ StrangeSizeOfTest
✅ StringSymbolicRead2Test
✅ StringSymbolicReadTest
✅ StructInsideArraySymbolicUnsafeRead2Test
✅ StructInsideArraySymbolicUnsafeReadTest
✅ StructInsideArraySymbolicUnsafeWriteTest
✅ UnsafeAs1Test
✅ UnsafeAs2Test
✅ UnsafeAs3Error
✅ UnsafeAs4Test
✅ UnsafeAs4Test1
✅ UnsafeAs4Test2
✅ UnsafeAs5Test
✅ WriteFieldByRefSymbolicTest
✅ WriteFieldSymbolicTest

✅ FTest

✅ FTest

✅ FTest

✅ FTest

✅ FTest

✅ CheckSightTypeWorksCorrectTest
✅ CheckSightTypeWorksCorrectTest1
✅ MakeConcreteMoveTest
✅ MakeInterfaceMoveTest
✅ MakeInterfaceMoveTest1
✅ MakeVirtualMove1Error
✅ MakeVirtualMove1Test
✅ MakeVirtualMoveTest
✅ MakeVirtualMoveTest1
✅ VirtualCall1Test
✅ VirtualCall1Test1
✅ VirtualCall1Test2
✅ VirtualCall1Test3
✅ VirtualCall1Test4
✅ VirtualCall1Test5
✅ VirtualCall2Test
✅ VirtualCall2Test1
✅ VirtualCall2Test2
✅ VirtualCall3Test
✅ VirtualCall3Test1
✅ VirtualCall3Test2
✅ VirtualCall4Test
✅ VirtualCall4Test1
✅ VirtualCall4Test2
✅ VirtualCall5Test
✅ VirtualCall5Test1
✅ VirtualCall5Test2
✅ VirtualCall6Test
✅ VirtualCall6Test1
✅ VirtualCall6Test2
✅ VirtualCall7Test
✅ VirtualCall7Test1
✅ VirtualCall7Test2
✅ VirtualCall8Test
✅ VirtualCall8Test1
✅ VirtualCall8Test2
✅ VirtualCallTest
✅ VirtualCallTest1
✅ VirtualCallTest2

✅ IncrementAndMutateTest
✅ IncrementTest
✅ MutateAndIncrementTest
✅ MutateTest

✅ AddToAnotherValueTest
✅ AddToAnotherValueTest1

✅ AddToAnotherValue2Test
✅ AddToAnotherValue2Test1

✅ AddToAnotherValue3Test
✅ AddToAnotherValue3Test1

✅ AddToAnotherValue4Test
✅ AddToAnotherValue4Test1

✅ MakeMoveTest

✅ BoxingIntTest
✅ CastStructToInterfaceAndWriteInBoxedTest
✅ CastStructToInterfaceTest
✅ WriteInStructUsingNormTest

✅ MakeMoveTest

✅ GetNewFieldTest
✅ MakeMoveTest
✅ SetNewFieldTest

✅ GetCoordTest
✅ GetRateTest
✅ MakeMoveTest

✅ CastAfterNullTest
✅ CheckCastNullWithTrickTest
✅ CheckIsTest
✅ DownCastObject2Test
✅ DownCastObject2Test1
✅ DownCastObjectTest
✅ DownCastObjectTest1
✅ DownCastPieceTest
✅ DownCastPieceTest1
✅ TryCastTest
✅ TryCastTest1
✅ TryUpCastTest
✅ TypeCastConcreteNullTest
✅ UnboxingTest
✅ UpCastDownCastStringTest
✅ UpCastTest