Hi Sang, I don't think that is possible in KLEE since firstly, given concrete inputsit will likely simplify the constraints into a constant (true/false). Secondly,it does not collect the constraints into the path condition whenever it candecide that a branch can only go one way, which is to always happen givenconcrete inputs. Best, Andrew
On Friday, 11 May 2018, 4:52:50 am GMT+8, Sang Phan <phanquocs...@gmail.com> wrote: Hello, I'm interested in collecting the constraints for just one particular input, e.g. x = 3. Is it possible to do that with Klee? Thank you, Sang _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
