/// <summary>
/// Constructs a new control-flow verifier.
/// </summary>
/// <param name="method">The method to verify.</param>
/// <param name="result">The verification result.</param>
public ControlFlowVerifier(Method method, VerificationResult result)
: base(method, result)
{
}
/// <summary>
/// Constructs a new value verifier.
/// </summary>
/// <param name="method">The method to verify.</param>
/// <param name="result">The verification result.</param>
public ValueVerifier(Method method, VerificationResult result)
: base(method, result)
{
}
/// <summary>
/// Constructs a new verifier base.
/// </summary>
/// <param name="method">The method to verify.</param>
/// <param name="result">The verification result.</param>
protected VerifierBase(Method method, VerificationResult result)
{
Method = method ?? throw new ArgumentNullException(nameof(method));
Result = result ?? throw new ArgumentNullException(nameof(result));
}
