C# (CSharp) Tests BasicTests.TestProperty Examples

Example #1

 public void TestPropertyOnDemandAsync()
 {
     BasicTests.TestProperty(AnalysisStrategyKind.ONDEMAND_ASYNC);
 }

Example #2

 public void TestPropertyOnDemandOrleans()
 {
     BasicTests.TestProperty(AnalysisStrategyKind.ONDEMAND_ORLEANS);
 }

Example #3

File: SoundnessEntireAsync.cs Project: edgardozoppi/call-graph-orleans

 public void TestPropertyEntireAsync()
 {
     BasicTests.TestProperty(AnalysisStrategyKind.ENTIRE_ASYNC);
 }