public bool PostconditionVerification(QsCompilation compilation)
{
try
{
ValidateMonomorphization.Apply(compilation, allowTypeParametersForIntrinsics: !this.monomorphizeIntrinsics);
}
catch
{
return(false);
}
return(true);
}
public bool PostconditionVerification(QsCompilation compilation)
{
try
{
ValidateMonomorphization.Apply(compilation);
}
catch
{
return(false);
}
return(true);
}
/// <inheritdoc/>
public bool PreconditionVerification(QsCompilation compilation)
{
try
{
ValidateMonomorphization.Apply(compilation);
return(true);
}
catch
{
this.diagnostics.Add(new IRewriteStep.Diagnostic
{
Severity = DiagnosticSeverity.Error,
Stage = IRewriteStep.Stage.PreconditionVerification,
Message = DiagnosticItem.Message(ErrorCode.SyntaxTreeNotMonomorphized, Array.Empty <string>()),
Source = Assembly.GetExecutingAssembly().Location
});
return(false);
}
}
