✅ AbsMethod(0.0d)
✅ AbsMethod2(0.0d)
✅ AcosMethod()
✅ ArithmeticsMethod1(0,0)
✅ ArithmeticsMethod2(0,0)
✅ ArithmeticsMethod3(0,0,0)
✅ ArithmeticsMethod4(0,0)
✅ AsinMethod(0.0d)
✅ Atan2Method1(0.0d)
✅ Atan2Method2(0.0d)
✅ Atan2Method3()
✅ AtanMethod(0.0d,0.0d)
✅ BigSum(0)
✅ BigSumCycle(0)
✅ CastIntegralToReal(0)
✅ CastIntegralToReal1(byte.MinValue)
✅ CastIntegralToReal2(0L)
✅ CastIntegralToReal3(0)
✅ CastIntegralToReal4(byte.MinValue)
✅ CastIntegralToReal5(0L)
✅ CastRealToIntegral(0.0f)
✅ CastRealToIntegral1(0.0f)
✅ CastRealToIntegral2(0.0f)
✅ CastRealToIntegral3(0.0d)
✅ CastRealToIntegral4(0.0d)
✅ CastRealToIntegral5(0.0d)
✅ CeilingMethod(0.0d)
✅ CharTest('\0')
✅ CheckDivideByZeroException0(0)
✅ CheckedUnchecked(0,0,0,0,0,0,0,0,0,0)
✅ CheckOrder(0)
✅ CheckOverflow1(0)
✅ CheckOverflow2(0)
✅ CheckOverflow4()
✅ CheckSumOfIntAndShort()
✅ CheckSumOfSingedAndUnsigned()
✅ CompareDoubleAndFloatTest1(0.0d,0.0f)
✅ CompareDoubleAndFloatTest2(0.0d,0.0f)
✅ CompareDoubleAndFloatTest3(0.0d,0.0f)
✅ CompareDoubleAndFloatTest4(0.0d,0.0f)
✅ CompareDoublesTest1(0.0d,0.0d)
✅ CompareDoublesTest2(0.0d,0.0d)
✅ CompareDoublesTest3(0.0d,0.0d)
✅ CompareDoublesTest4(0.0d,0.0d)
✅ CompareFloatsTest1(0.0f,0.0f)
✅ CompareFloatsTest2(0.0f,0.0f)
✅ CompareFloatsTest3(0.0f,0.0f)
✅ CompareFloatsTest4(0.0f,0.0f)
✅ ComparePi(0.0d)
✅ ConcreteShift()
✅ CoshMethod()
✅ CosMethod()
✅ DecimalTest(0m)
✅ Decreasing(0)
✅ DefaultShift(0,0)
✅ DoubleShiftRight(0)
✅ EncodeDoubleTest(0.0d)
✅ EncodeDoubleTest1(0.0d)
✅ EncodeFloatTest(0.0f)
✅ EncodeFloatTest1(0.0f)
✅ ExpMethod1()
✅ ExpMethod2(0.0d)
✅ FloorMethod(0.0d)
✅ ImpossibleBug(0)
✅ IncrementsWorkCorrect(0)
✅ LogMethod1(0.0d)
✅ LogMethod2(0.0d,0.0d)
✅ LogMethod3()
✅ LogMethod4(0.0d)
✅ LogMethod5()
✅ LogMethod6()
✅ LogMethod7(0.0d)
✅ LogMethod8(uint.MinValue)
✅ LogMethod9(ulong.MinValue)
✅ MultiplyOnShift1(0)
✅ MultiplyOnShift2(0)
✅ MultiplyShifts1(0,0)
✅ MultiplyShifts2(0,0)
✅ NumericsVectorTest(byte.MinValue,byte.MinValue)
✅ NumericsVectorTest1(null,null)
✅ PossibleBug(0)
✅ PowMethod1(0.0d)
✅ PowMethod10(0.0d,0.0d)
✅ PowMethod11(0.0d)
✅ PowMethod12()
✅ PowMethod13()
✅ PowMethod14(0.0d)
✅ PowMethod15(0.0d,0.0d)
✅ PowMethod16(0.0d)
✅ PowMethod17()
✅ PowMethod2(0.0d)
✅ PowMethod3()
✅ PowMethod4(0.0d,0.0d)
✅ PowMethod5(0.0d)
✅ PowMethod6(0.0d)
✅ PowMethod7(0.0d,0.0d)
✅ PowMethod8(0.0d)
✅ PowMethod9(0.0d)
✅ RoundMethod()
✅ ShiftDevision1(byte.MinValue)
✅ ShiftDevision2(0)
✅ ShiftDevision3(uint.MinValue)
✅ ShiftDevision4(ulong.MinValue)
✅ ShiftLeftOnZero(0)
✅ ShiftMultiplication(0)
✅ ShiftSum(0)
✅ ShiftSumOfShifts1(0)
✅ ShiftSumOfShifts2(0L)
✅ ShiftWithDivAndMul(0)
✅ Shr(0)
✅ ShrTest()
✅ SinhMethod(0.0d)
✅ SinMethod()
✅ SmallBigSum(0)
✅ SqrtMethod1(0.0d)
✅ SqrtMethod2()
✅ SqrtMethod3(0.0d)
✅ SqrtMethod4()
✅ SqrtMethod5(null,null)
✅ SqrtMethod6(0.0d,0.0d)
✅ SumOfIntAndShort(0,0)
✅ SumOfIntAndUint(0,uint.MinValue)
✅ SumShifts(0L)
✅ TanhMethod(0.0d)
✅ TanMethod()
✅ ZeroShift(0)

✅ Add_Checked(0,0)
✅ Add_Ovf_Un(uint.MinValue,uint.MinValue)
✅ Add_sbyte_short(0,0)
✅ Add_Unsigned(uint.MinValue,uint.MinValue)
✅ Add(0,0)
✅ Add(0.0d,0.0d)
✅ Add(0.0f,0.0f)
✅ DivideDoubleOnZero(0.0d)
✅ DivideFloatOnZero(0.0f)
✅ DivideOnZero1()
✅ DivideOnZero2()
✅ DivideWithoutOverflow(uint.MinValue)
✅ DivideWithOverflow()
✅ Mul_No_OverFlow1()
✅ Mul_OverFlow1()
✅ Mul_Ovf_64(0L,0L)
✅ Mul_Ovf_IntPtr(0)
✅ Mul_Ovf_U64(ulong.MinValue,ulong.MinValue)
✅ Mul_Ovf_Un(uint.MinValue,uint.MinValue)
✅ Mul_Ovf_Un1(0)
✅ Mul_Ovf(0,0)
✅ Mul(0.0d,0.0d)
✅ Mul(0.0f,0.0f)
✅ MultiplicationOfDoublesIsCommutative()
✅ MultiplicationOfDoublesIsNotAssociative()
✅ MultiplicationOfFloatsIsCommutative()
✅ MultiplicationOfFloatsIsNotAssociative()
✅ Rem_Always_A(0.0d)
✅ Rem_Always_B(0.0f)
✅ Rem_Concrete_Double_Nan1()
✅ Rem_Concrete_Double_Nan2()
✅ Rem_Concrete_Double_Nan3()
✅ Rem_Concrete_Doubles_0()
✅ Rem_Concrete_Doubles()
✅ Rem_Concrete_Float_Nan1()
✅ Rem_Concrete_Float_Nan2()
✅ Rem_Concrete_Float_Nan3()
✅ Rem_Concrete_Floats()
✅ Rem_Doubles(0.0d,0.0d)
✅ Rem_Floats(0.0f,0.0f)
✅ Rem_Ints_DivideOnZero(0)
✅ Rem_Ints_Overflow()
✅ Rem_Ints(0,0)
✅ RemUn_Ints_DivideOnZero(uint.MinValue)
✅ RemUn_Ints_No_Overflow()
✅ RemUn_Ints(uint.MinValue,uint.MinValue)
✅ Sub_No_Overflow1()
✅ Sub_No_Overflow2()
✅ Sub_No_Overflow3()
✅ Sub_No_Overflow4()
✅ Sub_Overflow1()
✅ Sub_Overflow2()
✅ Sub_Overflow3()
✅ Sub_Ovf_Un_Overflow1()
✅ Sub_Ovf_Un_Overflow2(uint.MinValue)
✅ Sub_Ovf_Un(uint.MinValue,uint.MinValue)
✅ Sub_Ovf(0,0)
✅ Sub(0.0d,0.0d)
✅ Sub(0.0f,0.0f)

✅ CopyTo(null,0)

✅ ArrayInterfaces1(null)
✅ ArrayInterfaces2(null)
✅ ArraySubtyping1(null)
✅ ArraySubtyping2(null)
✅ ArrayWithGeneric1(null)
✅ ArrayWithGeneric2(null)
✅ ArrayWithGeneric3(null)
✅ ArrayWithGeneric4(null)
✅ ArrayWithGeneric5(null)
✅ JaggedArray(null)
✅ MultidimensionalArray1(null)
✅ MultidimensionalArray2(null)
✅ MultidimensionalArray3(null)

✅ DisallowNullCallsNotNullTest(null)
✅ DisallowNullTest1(null)
✅ DisallowNullTest2(null)
✅ DisallowNullTest3(null,0)
✅ NotNullCallsDisallowNullTest1(null)
✅ NotNullCallsDisallowNullTest2(null)
✅ NotNullCallsDisallowNullTest3(null,0)
✅ NotNullTest1(null)
✅ NotNullTest2(null)
✅ NotNullTest3(null)
✅ NotNullTest4(null)
✅ NotNullTest5(null)
✅ ReadAll(null)

✅ DisallowNullTest(null)
✅ NotNullCallsDisallowNullTest(null,0)

✅ test(0L)
✅ test2(0L)
✅ test3(0L)
✅ test4(0L)
✅ test6(0L,False)

✅ AlwaysNull()
✅ Box7()
✅ BoxInteger(0)
✅ BoxNullable(null)
✅ TrickyBox(0)
✅ True1()
✅ True2()
✅ True3()

✅ BoxReference(null)
✅ BoxValue(null)
✅ BoxValueOrReference(null)

✅ InTest1(null)
✅ InTest2(null)
✅ OutTest1(null,0)
✅ OutTest2(0)
✅ RefTest1(null)
✅ RefTest2(0)
✅ RefTest3(null,null)

✅ RefTest1(null)

✅ F1(0)
✅ F2(0)

✅ TrickyCycle(0,0)

✅ ApplyMoveAndCheckOtherValidMoves()
✅ ApplyMoveAndCheckValid()
✅ CheckEquality()
✅ CheckMate1(False)
✅ CheckMoveIsValidAndApply()
✅ CreateGame()
✅ CreatePosition()
✅ GetPiece()
✅ HasAnyValidMoves()

✅ FieldAbstractHierarchyTest(null)
✅ FieldHierarchyTest(null)
✅ FieldHierarchyTest1(null)
✅ SimpleStructureAccess(0)
✅ StructureAccess(0)
✅ Test1(0)
✅ ValueTypeMethod(0,0)

✅ MergingClassesFieldsTest(null)

✅ NonStaticClassTest()
✅ TestProperty1()
✅ TestProperty2()

✅ FirstUseInGuard(null)
✅ TestProperty1(0)
✅ UnionInReference(null)

✅ DelegateField1(null)

✅ DelegateField2(0)

✅ DelegateField3(null)

✅ DelegateField4()

✅ AddListener(null)
✅ FireEvent(0)
✅ RemoveListener(null)

✅ Always18()
✅ DeclareAfterReturn(False,False,0)
✅ ExceptionInCondition1(null)
✅ ExceptionInCondition2(null)
✅ ExceptionInCondition3(null)
✅ FirstEvenGreaterThen7()
✅ IsMaxEven(0,0,0)
✅ TestSwitch('\0')

✅ ArrayContainsOurCustomer(null)
✅ ContainsOurCustomer(null)
✅ ListContainsOurCustomer(null)

✅ AcyclicGotos(0)
✅ BinarySearch(0,null)
✅ BinarySearch(null,0,0,0)
✅ CantCatchExplicitExceptionFromCatch(0,null)
✅ CycleReturningValueAndException(0)
✅ CycleWith3EntryPoints(0)
✅ DivideWithException(0)
✅ ExceptionInsideFilter(0,null)
✅ ExceptionThrownInFilter(0,null)
✅ ExceptionThrownInFilter1(0,null)
✅ FilterCanHaveExceptionHandler(0,null)
✅ ForSimple(0)
✅ ForsWithContinueAndBreak(0)
✅ ForWithBreak(0)
✅ FunctionWithHandler(0)
✅ Gotos1(0)
✅ Gotos2(0)
✅ GotoWithinWhile(0)
✅ IncomingCallGraphEdgesTest(0)
✅ ManyFinallyBlocks(0,null)
✅ NestedFors2(0)
✅ NestedForsSimple_AI(0)
✅ NestedForsSimple(0)
✅ NestedTryBlocks(0,null)
✅ OnlyFilter(0,null)
✅ RethrownInstructionIsNotCaughtByNextHandler(0,null)
✅ ReturnFromTryWithFinally(0,null)
✅ SequentialIfsHard(0)
✅ SequentialIfsSimple(0)
✅ SwitchWithSequentialCases(0)
✅ TryCatchFilter(0,null)
✅ TryCatchFinally(0,null)
✅ TryInsideCatch(0,null)
✅ TryInsideFinally(0,null)
✅ TryInsideWhile(0)

✅ ConvDoubleToInt(0.0d)
✅ ConvDoubleToShort(0.0d)
✅ ConvDoubleToUInt(0.0d)
✅ ConvIntToDouble(0)
✅ ConvOvfMaxDoubleToSingle()
✅ ConvShortToDouble(0)
✅ Test1()
✅ TestConvDoubleToUInt()
✅ TestNarrowingConv(0)
✅ UnboxAnyInterfaceToStructValid()
✅ UnboxAnyStructToInterfaceValid()

⚪ Conv_Ovf_int_NativeInt(0)
⚪ Conv_Ovf_int_sbyte(0)
⚪ Conv_Ovf_int_short(0)
⚪ Conv_Ovf_int_UNativeInt(0)
⚪ Conv_Ovf_long_int(0L)
⚪ Conv_Ovf_long_NativeInt(0L)
⚪ Conv_Ovf_long_ulong_No_Overflow1()
⚪ Conv_Ovf_long_ulong_Overflow1()
⚪ Conv_Ovf_long_ulong(0L)
⚪ Conv_Ovf_sbyte_int(0)
⚪ Conv_Ovf_short_int(0)
⚪ Conv_Ovf_short_sbyte_No_Overflow1()
⚪ Conv_Ovf_short_sbyte_No_Overflow2(0)
⚪ Conv_Ovf_short_sbyte_Overflow1()
⚪ Conv_Ovf_short_sbyte(0)
⚪ Conv_Ovf_Un_uint_byte(uint.MinValue)
⚪ Conv_Ovf_Un_uint_sbyte(uint.MinValue)
⚪ Conv_Ovf_Un_ulong_long_No_Overflow1()
⚪ Conv_Ovf_Un_ulong_long_No_Overflow2()
⚪ Conv_Ovf_Un_ulong_long_Overflow1()
⚪ Conv_Ovf_Un_ulong_long(ulong.MinValue)

✅ ConcreteMemoryTest(0)
✅ DelegateParameter1(null)
✅ DelegateParameter2(null,0)
✅ DelegateParameter3(null,0)
✅ DelegateParameter4(null,0,0)
✅ DelegateParameter5(null,0)
✅ InnerDelegate(0)

✅ Max()

✅ CheckIsEnum(Red)
✅ Color2Int(Red)
✅ EnumToString(Red)
✅ EnumToString1(Red)
✅ NonZeroEnumTest(0)
✅ SymbolicColor2Int(Red,0)

✅ ConsoleWriteLineString()

✅ AddEventHandler(null,null,IntegrationTests.Events+IRQContext)
✅ ConcreteEventHandler(IntegrationTests.Events+IRQContext)
✅ ConcreteEventHandler1()
✅ RemoveEventHandler(null,null,IntegrationTests.Events+IRQContext)

✅ CallInsideFinally(False)
✅ CatchRuntimeException(0,0)
✅ ConcreteThrowInCall()
✅ ExceptionInsideFilter(0,0)
✅ FilterInsideFinally(False)
✅ FilterOrder(0)
✅ NestedFilter(0)
✅ NestedFilter1(0)
✅ NestedFinally()
✅ NestedTryBlocks()
✅ NestedTryBlocks1(False)
✅ NestedTryBlocks2()
✅ NestedTryCatchFinally()
✅ NestedTryFinally()
✅ ReturnMinWithAssert(0,0)
✅ SimpleFilterBlock(0,0)
✅ TestWithAssert(0,0)
✅ TestWithHandlers(0,0)
✅ TestWithHandlers1()
✅ TestWithNestedFinallyHandlers(0,0)
✅ TryWith2Leaves(False)
✅ TwoFilters(0)

✅ LibcRand()
✅ LibcRandCmp()
⚪ MsvcrtRand()
⚪ MsvcrtRandCmp()

✅ Fib2()
✅ Fib5()
✅ FibUnbound(0)

✅ GetFields()
✅ SetField(null)

✅ Gcd1()
✅ Gcd15()

✅ DeepPropagating1(null)
✅ DeepPropagating2(null)
✅ DeepPropagating3(null)
✅ Nested1(null)
✅ Nested2(null)
✅ NoSolution1(null)
✅ NoSolution2(null)
✅ StandaloneInterface(null)
✅ Subtyping(null)
✅ SubtypingInterface(null)

✅ RetR(null)
✅ RetV(null)

✅ RetDictionary()
✅ RetList()

✅ TestFoo(null)

✅ SubstNestedGeneric(null)

✅ GetValue(0)
✅ SetValue(0,0)

✅ GetValue(0,0)
✅ SetValue(0,0,0)

✅ ArrayRank_1()
✅ ArrayRank_2()
✅ ArrayRank_3()
✅ ArrayRank_4()
✅ ArrayRank_5()
✅ ArrayRank_CATCH_IIE_1(null)
✅ ArrayRank_IIE_1(null)
✅ CallMethodOfStruct_1()
✅ CallMethodOfStruct_2()
✅ CallVirtualMethod_1()
✅ CallVirtualMethod_2()
✅ CallVirtualMethod_3()
✅ CallVirtualMethod_CATCH_IIE_1(null)
✅ CallVirtualMethod_IIE_1(null)
✅ CanNotInstantiateUnknownType()
✅ EnsureConcreteType_1()
✅ EnsureConcreteType_2()
✅ EnsureConcreteType_3()
✅ MakeDefault_2()
✅ MakeDefault_3()
✅ MakeDefault_4()

✅ LastPInvokeErrorTest(0)

✅ Always18()
✅ ConcreteLambdaInvokeSymbolic()
✅ DoubleValue(0,False)
✅ FuncFromFunction(0)
✅ FuncFromLambda(0)
✅ LambdaAsObjectIsLambda(False)
✅ SymbolicLambdaInvoke(null)

✅ ConcreteLinqTest()
✅ ConcreteLinqTest1()
✅ HardSymbolicLinqTest(0,0,0,0,0,0)
✅ OrderByTest(0)
✅ SelectTest(null)
✅ SequenceLinqTest()
✅ SimpleSymbolicLinqTest(0,0,0)
✅ SymbolicLinqTest2(0,0,0)

✅ ArrayElementsAreReferences(null,0,0)
✅ ArrayExceptionsOrder(0,null,null,0)
✅ ArrayLength(0)
✅ ArraySymbolicUpdate(0)
✅ ArraySymbolicUpdate2(0)
✅ ArraySymbolicUpdate3(0,0)
✅ CheckArrayContains()
✅ ConcreteArrayChange()
✅ ConcreteClearTest()
✅ ConcreteDictionaryTest1(0,null)
✅ ConcreteHashtableTest()
✅ ConcreteMemoryTest(0)
✅ ConcreteMemoryTest1(0)
✅ ConcreteMemoryTest2(0)
✅ ConcreteMemoryTest3(0)
✅ ConcreteMemoryTest4(0)
✅ ConcurrentDict(0,0)
✅ Construct()
✅ CopyAndBranch(null,0)
✅ CopyAndThenWrite(null)
✅ CopyConcreteToConcreteArray()
✅ CopyConcreteToSymbolicArray(null)
✅ CopySymbolicIndicesToConcreteArray(0,0,0)
✅ CopySymbolicIndicesToConcreteArray1(0,0,0,0,0,0)
✅ CopySymbolicIndicesToConcreteArray2(0,0,0)
✅ CopyToConcreteToConcreteArray()
✅ DoubleWriteAfterCopy(null,0,null)
✅ DoubleWriteAfterCopy1(null,0,0,0,null)
✅ HashtableTest1(0)
✅ HashtableTest2(0)
✅ IteKeyWrite(0)
✅ LastRecordReachability(null,null,0,null)
✅ LazyDict()
✅ LdElemMustThrowExceptionIfIndexIsNegative(0)
✅ ListContains(0,0)
✅ ListTest(0m,0m)
✅ ListTest1(null,null)
✅ LowerBoundExceptionTest(null)
✅ LowerBoundSymbolicTest(null,0)
✅ LowerBoundTest()
✅ MakeDefaultAndWrite(0)
✅ Mutate(0)
✅ RankTest()
✅ ReadByFuncResult(null,null)
✅ ReadByFuncResult1(null)
✅ RetOneDArray1(False,False)
✅ RetOneDArray2(0)
✅ SolverTestArrayKey(null,0)
✅ SolverTestConcreteArray(0)
✅ SymbolicInitialize(0)
✅ SymbolicRecursiveArray(null)
✅ SymbolicWriteAfterConcreteWrite(0)
✅ SymbolicWriteAfterConcreteWrite2(null,0)
✅ TestConnectionBetweenIndicesAndValues(null,0,0)
✅ TestConnectionBetweenMultiIndicesAndValues(null,0,0,0,0)
✅ TestOverlappingCopy(null)
✅ TestOverlappingCopy1(null,0)
✅ TestSolvingCopy(null,null,0)
✅ TestSolvingCopy1(null,0,null)
✅ TestSolvingCopy10(null,0,null)
✅ TestSolvingCopy11(null,0,null)
✅ TestSolvingCopy2(null,null,null)
✅ TestSolvingCopy3(null,null,null)
✅ TestSolvingCopy4(null,null)
✅ TestSolvingCopy5(null,null,0)
✅ TestSolvingCopy6(null,null,0)
✅ TestSolvingCopy7(null,0,null)
✅ TestSolvingCopy8(null,null,0)
✅ TestSolvingCopy9(null,0,null)
✅ TestSolvingCopyOverwrittenValueUnreachable1(null,null)
✅ TestSolvingCopyOverwrittenValueUnreachable2(null,0,null)
✅ TestSplittingWithCopy(0,0,0)
✅ TestSplittingWithCopyRegionsImportance(null,0)
✅ TypeSolverCheck(0,null)
✅ UpperBoundTest()
✅ VolatileWrite()
✅ WriteAndThenCopy(null)

✅ Build(null)

✅ And1(False,False)
✅ And2(False,False)
✅ And3(False,False)
✅ And4(False,False)
✅ And5(False,False)
✅ And6(False,False)
✅ And7(False,False)
✅ And8(False,False)
✅ And9(False,False,False)
✅ AndOr0(False,False,False)
✅ AndOr1(False,False,False)
✅ AndOr10(False,False,False)
✅ AndOr11(False,False,False,False)
✅ AndOr12(False,False,False,False)
✅ AndOr13(False,False,False,False)
✅ AndOr14(False,False,False,False)
✅ AndOr15(False,False,False,False)
✅ AndOr16(False,False,False,False)
✅ AndOr17(False,False,False,False)
✅ AndOr18(False,False,False,False)
✅ AndOr19(False,False,False,False)
✅ AndOr2(False,False,False)
✅ AndOr20(False,False,False,False)
✅ AndOr21(False,False,False,False)
✅ AndOr22(False,False,False,False)
✅ AndOr23(False,False,False,False)
✅ AndOr24(False,False,False,False)
✅ AndOr25(False,False,False,False)
✅ AndOr26(False,False,False)
✅ AndOr3(False,False,False)
✅ AndOr4(False,False,False)
✅ AndOr5(False,False,False)
✅ AndOr6(False,False,False)
✅ AndOr7(False,False,False)
✅ AndOr8(False,False,False)
✅ AndOr9(False,False,False)
✅ CondAnd1(0)
✅ CondAnd2(0)
✅ CondAnd3(0)
✅ CondOr1(0)
✅ CondOr2(0)
✅ CondOr3(0)
✅ Equal1(False,False,False,False)
✅ Equal2(False,False,False,False)
✅ Equal3(False,False,False,False)
✅ Negation1()
✅ Negation1(0)
✅ Negation2(False)
✅ Negation3(False)
✅ Negation4(False)
✅ Negation5(False)
✅ NotEqual1(False,False,False,False)
✅ NotEqual2(False,False,False,False)
✅ Or1(False,False)
✅ Or10(False,False,False)
✅ Or2(False,False)
✅ Or3(False,False)
✅ Or4(False,False)
✅ Or5(False,False)
✅ Or6(False,False)
✅ Or7(False,False)
✅ Or8(False,False)
✅ Or9(False,False,False)
✅ Order1(False,False,False,False)
✅ Order2(False,False,False,False)
✅ Order3(0,0,0,0)
✅ Order4(0,0,0,0)
✅ Xor1(False,False,False,False)
✅ Xor2(False,False,False,False)
✅ Xor3(False,False,False,False)
✅ Xor4(False,False,False,False)
✅ Xor5(False,False,False,False)
✅ Xor6(False,False,False,False)
✅ Xor7(False,False,False,False)
✅ Xor8(False,False,False,False)

⚪ ConcreteExecution_1()
⚪ ConcreteExecution_2(0)
⚪ Create_2D_Array()
⚪ Create_ArrayOfArray()
⚪ Create_King()
⚪ Create_SimpleArray()
⚪ CreateA()
⚪ CreateDictionary_Empty()
⚪ CreateDictionary()
⚪ CreateRecursive_FromScratch()
⚪ CreateRecursiveObject()
⚪ CreateRepeatingDictionary()
⚪ CreateSymbolicDictionary('\0')
⚪ Indirect_Change()
⚪ SymbolicExecution_1(0)
⚪ WasSymbolic_BecameConcrete_RecursiveObject(0)

✅ CheckMc91Safe(0)
✅ CheckMc91Unsafe(0)
✅ McCarthy(0)

✅ Method()

✅ Method()

✅ Method()

✅ Method()

✅ BranchInterface(null)
✅ ComputeWithDependence()
✅ ComputeWithDependence2(null)
✅ ComputeWithDependence3()
✅ DefaultImplTest(null)
✅ Enumerable(null)
✅ Enumerable2(null)
✅ EnumMock(null)
✅ EnumPtrMock(null)
✅ InterfaceInheritance1(null)
✅ InterfaceInheritance2(null)
✅ IntPtrMock(null)
✅ ItemMock(null)
✅ OutMock(null)
✅ OutMock1(null)
✅ OutMock2(null)
✅ OutMockWithReturn(null)
✅ ReadAllFromNetwork(null,null)

✅ Contains(null,null)

✅ Contains(null)

✅ NestedGenericsSmokeTest(null)
✅ NestedGenericsSmokeTest2(null)

✅ AbsPpEqualsAbs(0)
✅ AddressesBecomeComplicated(0.0d)
✅ BreakCallSitesComposition()
✅ BreakCallSitesCompositionCycle(0)
✅ BreakCallSitesCompositionRecursion(0)
✅ ByRefTest1(null)
✅ ByRefTest2(null)
✅ ByRefTest2Call(0)
✅ ByRefTest3(null)
✅ CallIncrementOutside()
✅ CallStaticCtor()
✅ CheckFinallyOrderForNestedTryBlocks2()
✅ CheckInvalidCfaConstruction(False)
✅ CheckOperationalStackBalance(0)
✅ Conv_Ovf_short_int(0L)
✅ CreateClassThatHasClassInside(0)
✅ CreateClassThatHasStructInside(0)
✅ CreateClassViaNewobj()
✅ CreateStructViaNewobj(0)
✅ DoubleAllocateViaCall()
✅ DoubleInitializeObjects()
✅ EnsureConcreteType_1()
✅ FunctionsComposition(0)
✅ Gotos1(0)
✅ LdelemaTest1()
✅ LdelemaTest2(False)
✅ Many_Conversions(0)
✅ MultipleInitializeStaticFieldsInCfa(0)
✅ NewarrAllocatesArrayWithConcreteAddress()
✅ NewarrAllocatesArrayWithConcreteAddress2()
✅ NewarrAllocatesArrayWithConcreteAddress3()
✅ NewarrWithBranching(False)
✅ NewObj1()
✅ NewObjAndDup()
✅ NewObjInLoop()
✅ NewObjInLoop1()
✅ NewObjWithBranching(False)
✅ NRE_TEST(null)
✅ qweqwe(0,0)
✅ ReadFieldOfCLass1(null,null)
✅ SameN(0)
✅ SequentialNewObjs()
✅ SimpleIf(0)
✅ SmokeTest()
✅ StructIsAllocatedInTemporaryLocalVariableBeforeCallingCtor()
✅ SumOfIntAndUint(0,uint.MinValue)
✅ SymbolicHeapRefIsNotIdempotent(null,null)
✅ TernaryIf(0)
✅ Test1_StructWithStructInside2()
✅ Test100500()
✅ Test2_StructWithStructInside2(0)
✅ Test3_StructWithStructInside2()
✅ TestAllocatedType_1()
✅ TestAllocatedType_2()
✅ TestAllocatedType_3()
✅ TestAllocatedType_4(False)
✅ TestArgComposition(null)
✅ TestCompositionWhenCallDividesBlocksAndSomeInformationIsPropagated()
✅ TestConcreteArray(0)
✅ TestConversions(uint.MinValue)
✅ TestDefaultFieldsAllocation()
✅ TestForCycle_5x(0)
✅ TestForty_WithSet0()
✅ TestForty()
✅ TestLengths_1()
✅ TestLengths_2()
✅ TestLengths_3()
✅ TestLengths_4()
✅ TestLengths_5()
✅ TestLengths_6(False)
✅ TestLowerBound_1()
✅ TestLowerBound_2(False)
✅ TestNext()
✅ TestPopStackWithReservedVariable()
✅ TestRefClass()
✅ TestRefClass1()
✅ TestThatEffectsDoNotSpreadToDifferentBasicBlocks(0)

✅ Increment()
✅ IncrementAndMutate()
✅ Mutate(0)
✅ MutateAndIncrement()

✅ IsInRect(0,0,0,0)
✅ StaticMethod(IntegrationTests.Point)
✅ ThrowIfNotOnXAxis()

✅ GetArray()

✅ MutationAfterRecursionTest(0)

✅ ArithmeticalProgression(null)
✅ FirstElementOfLinkedList(null)
✅ MemoryTest(null)
✅ TestStack(null)

✅ RecObject(0)

✅ TestGetTypeName(null)

✅ OwnImplementationTest('\0','\0','\0','\0','\0','\0')
✅ OwnImplementationTest2('\0','\0','\0','\0','\0','\0')
✅ OwnImplementationTest4(null)

✅ Set(0)

✅ SpanTest(null,byte.MinValue,0)

✅ RetConstructedR0()
✅ RetConstructedRWithInt()
✅ RetConstructedRWithObject()
✅ RetConstructedVWithInt()
✅ Test_MixedGenericParameterAndTypeGenerics_RetT_1()
✅ Test_MixedGenericParameterAndTypeGenerics_RetT_2()
✅ Test_MixedGenericParameterAndTypeGenerics_RetV_1()
✅ Test_MixedGenericParameterAndTypeGenerics_RetW_1()
✅ Test_OnlyGenericMethod_1()
✅ Test_OnlyGenericMethod_2()
✅ Test_RetDuplicateV_1()

✅ InitStaticCctor()

✅ CheckLength(null)
✅ ConcatStrings(null)
✅ ConcatStrings1(null)
✅ ConcatStrings2('\0')
✅ ConcreteEnumTryParse()
✅ ConcreteStringToUpper()
✅ Contains(null)
✅ EmptyString(0,0)
✅ EnumTryParse1(First)
✅ FormatInt(0)
✅ FormatInt1(0)
✅ FormatUInt32(uint.MinValue)
✅ FromUtf16(null)
✅ GetCharOfString()
✅ HopHeyCharArray(null)
✅ LengthOfIntToString(0)
✅ NullLength()
✅ StartsWith(null)
✅ StartsWith1(null,null)
✅ StreamReaderWriter(null)
✅ StreamReaderWriter2(null)
✅ StringEquals(null,null)
✅ StringEquals1(null,null,CurrentCulture)
✅ StringEquals2(null,null,CurrentCulture)
✅ StringFormat(null)
✅ StringFormat1(null)
✅ StringFormat2(null)
✅ StringHashtable()
✅ StringOfConcreteCharArray()
✅ StringOfNullCharArray()
✅ StringOfReplicatedChar()
✅ StringRegex1(null)
✅ StringRegex3(null)
✅ StringRegex4()
✅ StringRegex5()
✅ Substring(null)
✅ Substring2(null,null)
✅ Substring3(null,0)
✅ SymbolicString(null)
✅ SymbolicStringCharEq(null)
✅ SymbolicStringToUpper('\0')
✅ WriteLineObject(null)

✅ SimpleSwitchWithAdditionAndMultiplication()

✅ RetWorked(null,0)

✅ CheckGeneratedDepthSymbolic(0,0)

✅ AnotherUsingTestWithInheritance1()
✅ AnotherUsingTestWithInheritance2()
✅ FactResult(0)
✅ MakeOdd(0)
✅ ThrowNull(0)
✅ UsingTest()
✅ UsingTestWithInheritance()
✅ UsingTestWithInheritance1()

✅ GetCoord()
✅ GetNewField()
✅ GetRate()
✅ MakeMove(IntegrationTests.Typecast.Coord)
✅ MakeMove(IntegrationTests.Typecast.Coord)
✅ RetRate(null)
✅ SetNewField(0)

✅ BoxingInt(0)
✅ CastStructToInterface(IntegrationTests.Typecast.Coord)
✅ CastStructToInterfaceAndWriteInBoxed(IntegrationTests.Typecast.Coord2)
✅ UnboxingInt(null)
✅ WriteInStructUsingNorm(IntegrationTests.Typecast.Coord2)

✅ GetCoord()
✅ GetRate()
✅ MakeMove(IntegrationTests.Typecast.Coord)
✅ MakeMove(IntegrationTests.Typecast.Coord)
✅ RetRate(null)

✅ GetCoord()
✅ GetNewField()
✅ GetRate()
✅ MakeMove(IntegrationTests.Typecast.Coord)
✅ RetRate(null)
✅ SetNewField(0)

✅ GetCoord()
✅ GetRate()
✅ MakeMove(IntegrationTests.Typecast.Coord)
✅ RetRate(null)

✅ CastAfterNull()
✅ CheckCastNullWithTrick()
✅ CheckIs(null)
✅ CheckIs1(A)
✅ DownCastObject(null)
✅ DownCastObject2(null,null)
✅ DownCastObject3(null)
✅ DownCastObject4(null)
✅ DownCastObject5(null,null)
✅ DownCastObject6(null)
✅ DownCastPiece(null)
✅ TryCast(null)
✅ TryUpCast(null)
✅ TypeCastConcreteNull()
✅ Unboxing(null)
✅ UpCast()
✅ UpCastDownCastString()

✅ GetCoord()
✅ GetNewField()
✅ GetRate()
✅ MakeMove(IntegrationTests.Typecast.Coord)
✅ RetRate(null)
✅ SetNewField(0)

✅ UnboxAny1()
✅ UnboxAny2()
✅ UnboxAny3()
✅ UnboxAny4()
✅ UnboxAny5()
✅ UnboxAny6()

✅ Cast(null)

✅ ArrayConcreteSafeRead1()
✅ ArrayConcreteSafeRead2()
✅ ArrayConcreteSafeWrite()
✅ ArrayConcreteUnsafeRead()
✅ ArrayConcreteUnsafeWrite()
✅ ArraySymbolicSafeRead(0)
✅ ArraySymbolicUnsafeRead(0)
✅ ArraySymbolicUnsafeRead2(0)
✅ ArraySymbolicUnsafeWrite(0)
✅ ArraySymbolicUnsafeWrite11(0,0)
✅ ArraySymbolicUnsafeWrite12(0,0)
✅ ArraySymbolicUnsafeWrite2(0)
✅ ArrayWriteTargetingThreeElements(0,0)
✅ ArrayWriteTargetingTwoElements(0,0)
✅ ChangeThroughIndirection()
✅ CharSizeOf()
✅ CheckSpecificUnsafeArrayCopy(0,0,0)
✅ CheckSpecificUnsafeIntCopy(0)
✅ CheckUnsafeArrayCopy(0,0,0)
✅ CheckUnsafeIntCopy(0)
✅ ClassSymbolicReadZeroBetweenFields(0)
✅ ClassSymbolicUnsafeRead(0)
✅ ClassSymbolicUnsafeRead2(0)
✅ ClassWriteSafeOverlappingFields(0,0)
✅ CombineIntoDouble(null)
✅ ConvIntToNativeInt(0)
✅ ConvUIntToNativeUInt(uint.MinValue)
✅ CreateIntPtrAndCheckEquals()
✅ DoubleIndirection()
✅ DoubleReinterpretation(0L,0,0)
✅ DoubleReinterpretation1(null,0,0)
✅ DoubleReinterpretation2(0L,0)
✅ DoubleReinterpretation3(0L,0,0)
✅ DoubleReinterpretation4(0L,0,0)
✅ DoubleWrite(null,0,0,byte.MinValue)
✅ EncodeDoubleReinterpretation1(0.0d)
✅ EncodeDoubleReinterpretation2(0.0d)
✅ EncodeDoubleReinterpretation3(0.0d)
✅ EncodeDoubleReinterpretation4(0.0d)
✅ EncodeDoubleReinterpretation5(0.0d)
✅ EncodeDoubleReinterpretation6(0.0d)
✅ EncodeLongToIntReinterpretation(0L)
✅ IdentityTest()
✅ IntPtrSum()
✅ IntPtrZero()
✅ PointerComparison(null)
✅ PointerFromIntPtr(0)
✅ PointerFromUIntPtr(uint.MinValue)
✅ ReinterpretationVsNarrowCast(0L,0)
✅ ReinterpretationVsNarrowCast1(0)
✅ RetConcrete()
✅ ReturnClass()
✅ ReturnConst()
✅ ReturnField()
✅ StrangeSizeOf()
✅ StringSymbolicRead(0)
✅ StringSymbolicRead2(0)
✅ StructInsideArraySymbolicUnsafeRead(0)
✅ StructInsideArraySymbolicUnsafeRead2(0)
✅ StructInsideArraySymbolicUnsafeWrite(0,IntegrationTests.Unsafe+SequentialStruct)
✅ UIntPtrSum()
✅ UIntPtrZero()
✅ UnsafeAs1()
✅ UnsafeAs2()
✅ UnsafeAs3()
✅ UnsafeAs4(null)
✅ UnsafeAs5()
✅ UnsafeAs6(0)
✅ UnsafeAs7(0L)
✅ WriteFieldByRefSymbolic(0)
✅ WriteFieldSymbolic(0)

✅ F()

✅ F()
✅ F()

✅ F()

✅ F()

✅ F()
✅ F()

✅ F()
✅ F()

✅ CheckSightTypeWorksCorrect(null)
✅ MakeConcreteMove(IntegrationTests.Typecast.Coord)
✅ MakeInterfaceMove(null,IntegrationTests.Typecast.Coord)
✅ MakeNullMove(IntegrationTests.Typecast.Coord)
✅ MakeVirtualMove(null,IntegrationTests.Typecast.Coord)
✅ MakeVirtualMove1(null,IntegrationTests.Typecast.Coord)
✅ VirtualCall(null)
✅ VirtualCall1(null,0)
✅ VirtualCall10(null)
✅ VirtualCall11(null,0)
✅ VirtualCall2(null)
✅ VirtualCall3(null,0)
✅ VirtualCall4(null,0)
✅ VirtualCall5(null,0)
✅ VirtualCall6(null,0)
✅ VirtualCall7(null,0)
✅ VirtualCall8(null,0)
✅ VirtualCall9(null)

✅ AddToAnotherValue(0)

✅ AddToAnotherValue2(0)

✅ AddToAnotherValue3(0)

✅ AddToAnotherValue4(0)

✅ TestCartesianRegions
✅ TestIntervals
✅ TestPoints
✅ TestPointsIntersects
✅ TestRegionTree
✅ TestTypeRegions

✅ IdGeneratorTest1
✅ IdGeneratorTest2
✅ IsReferenceTypeParameterTest
✅ IsValueTypeParameterTest
✅ TestGenericHashes

✅ IsContradictingGenericTest1
✅ IsContradictingGenericTest2
✅ IsContradictingGenericTest3
✅ IsContradictingGenericTest4
✅ IsContradictingSpecialConstraintsTest1
✅ IsContradictingSpecialConstraintsTest2
✅ IsContradictingSpecialConstraintsTest3

✅ TestIdempotentLoading
✅ TestLoadingByName
✅ TestMethodNormalization
✅ TestTypeNormalization

⚪ BizHawkLR35902IsCoveredWithExecutionTreeInterleavedSearcher(0)
⚪ BizHawkLR35902IsCoveredWithExecutionTreeInterleavedSearcher(42)
⚪ BizHawkLR35902IsCoveredWithExecutionTreeInterleavedSearcher(73)
⚪ SearchersEvaluation(VSharp.Test.IntegrationTests.LoanExam.Build)

✅ PickTest
✅ RemoveTest1
✅ RemoveTest2

⚪ Tests

✅ IncrementalShortestDistanceBfsTest(VSharp.Test.GraphUtilsTests+Graph,0,System.Collections.Generic.Dictionary`2[System.Int32,System.UInt32])
✅ IncrementalShortestDistanceBfsTest(VSharp.Test.GraphUtilsTests+Graph,0,System.Collections.Generic.Dictionary`2[System.Int32,System.UInt32])