PexSettingsAttributeBase.Timeout Property

  • Reference

Definition

Namespace:
Microsoft.Pex.Framework.Settings
Assembly:
Microsoft.Pex.Framework.dll

A named parameter that specifies the exploration time out value.

public:
 property int Timeout { int get(); void set(int value); };
[System.ComponentModel.Category("Boundaries")]
[System.ComponentModel.DefaultValue(120)]
[System.ComponentModel.Description("Exploration time out (in seconds)")]
public int Timeout { get; set; }
[<System.ComponentModel.Category("Boundaries")>]
[<System.ComponentModel.DefaultValue(120)>]
[<System.ComponentModel.Description("Exploration time out (in seconds)")>]
member this.Timeout : int with get, set
Public Property Timeout As Integer

Property Value

Int32

The time out value, in seconds.

Attributes
CategoryAttribute DefaultValueAttribute DescriptionAttribute

Applies to