/// <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
});
}
