Hi, In your case, use the `ConstantExpr::alloc()` method that takes an `llvm::APInt` as argument. There are several `APInt` constructors that allow to create arbitrary signed/unsigned integers (e.g. http://llvm.org/doxygen/classllvm_1_1APInt.html#a6286f2ba84c5ad11f4a90d57cb1dd293).
Best, Martin On 19. Oct 2019, at 03:16, Zhongqiu Gao <[email protected]<mailto:[email protected]>> wrote: 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 _______________________________________________ klee-dev mailing list [email protected]<mailto:[email protected]> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
