/// <summary> /// Registers gives-up ownership operations. /// </summary> private static void RegisterGivesUpOwnershipOperations(AnalysisContext context) { context.RegisterGivesUpOwnershipMethod("Microsoft.PSharp.Send", new HashSet <int> { 1 }); context.RegisterGivesUpOwnershipMethod("Microsoft.PSharp.CreateMachine", new HashSet <int> { 1 }); }