Hi,
KLEE does not add duplicate constraints, in fact it does not add a
constraint if it is implied by the current PC.
Best,
Cristian
On 07/07/2023 06:57, Nguyễn Gia Phong wrote:
Hi,
I notice that ConstraintSet is implemented via std::vector.
This make me wonder about the likelihood of duplucated constraints
during executions.
Does anyone have any emprical data or experience regarding this aspect?
Regards,
McSinyx
_______________________________________________
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
