public void TestVirtualCallViaSuperClassOnDemandAsync() { BasicTests.TestVirtualCallViaSuperClass(AnalysisStrategyKind.ONDEMAND_ASYNC); }
public void TestVirtualCallViaSuperClassOnDemandOrleans() { BasicTests.TestVirtualCallViaSuperClass(AnalysisStrategyKind.ONDEMAND_ORLEANS); }
public void TestVirtualCallViaSuperClassEntireAsync() { BasicTests.TestVirtualCallViaSuperClass(AnalysisStrategyKind.ENTIRE_ASYNC); }