Hi, I'm wondering if we can parse a constraint expression in KLEE and potentially convert it to another format. For instance, given this constraint: (Sle 0 (ZExt w32 (Read w8 0 a))). Is there an esay way to parse it (i.e., using existing APIs) and output a string like "a >= 0"? I'm only considering simple linear constraints like this one.
Thanks, Qiao
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev