Hi, I am trying to do some concrete execution by adding a constraint to a path. I check the api of ConstantExpr::create(), and its argument should be an unsigned number. Is there a way to create a negative constant expression? Thanks, Zhongqiu Gao -------------- next part -------------- HTML attachment scrubbed and removed