public void Set_SF_ZF_PF(BitVecExpr value) { Debug.Assert(value != null); this.Empty = false; lock (this._ctxLock) { Context ctx = this._ctx; value = value.Translate(ctx) as BitVecExpr; this.Set(Flags.SF, ToolsFlags.Create_SF(value, value.SortSize, ctx)); this.Set(Flags.ZF, ToolsFlags.Create_ZF(value, ctx)); this.Set(Flags.PF, ToolsFlags.Create_PF(value, ctx)); } }
public void Set_SF_ZF_PF(BitVecExpr value) { Contract.Requires(value != null); this.Empty = false; lock (this.ctxLock_) { Context ctx = this.ctx_; value = value.Translate(ctx) as BitVecExpr; this.Set(Flags.SF, ToolsFlags.Create_SF(value, value.SortSize, ctx)); this.Set(Flags.ZF, ToolsFlags.Create_ZF(value, ctx)); this.Set(Flags.PF, ToolsFlags.Create_PF(value, ctx)); } }