C# (CSharp) AsmSim ToolsZ3.Consolidate Examples

Example #1

File: State.cs Project: mypopydev/asm-dude

 public void Simplify()
 {
     lock (this._ctxLock)
     {
         if (this.Solver_Dirty)
         {
             ToolsZ3.Consolidate(false, this.Solver, this.Solver_U, this._ctx);
             this.Solver_Dirty = false;
         }
         if (this.Solver_U_Dirty)
         {
             ToolsZ3.Consolidate(true, this.Solver, this.Solver_U, this._ctx);
             this.Solver_U_Dirty = false;
         }
     }
 }