C# (CSharp) Microsoft.Boogie.SMTLib SMTLibProcessの例

コード例 #1

ファイル: ProverInterface.cs プロジェクト: qunyanm/boogie

    void SetupProcess()
    {
      if (Process != null) return;

      var psi = ComputeProcessStartInfo();
      Process = new SMTLibProcess(psi, this.options);
      Process.ErrorHandler += this.HandleProverError;
    }

コード例 #2

ファイル: ProverInterface.cs プロジェクト: Chenguang-Zhu/ICE-C5

 void PossiblyRestart()
 {
     if (Process != null && Process.NeedsRestart) {
     Process.Close();
     Process = null;
     SetupProcess();
     Process.Send(common.ToString());
       }
 }