[klee-dev] Why is ConstraintSet not a set?

[Nguyễn Gia Phong]

On 2023-07-12 at 22:03+01:00, Cristian Cadar wrote:
> On 07/07/2023 06:57, Nguyễn Gia Phong wrote:
> > I notice that ConstraintSet is implemented via std::vector.
> > This make me wonder about the likelihood of duplucated constraints
> > during executions.
>
> KLEE does not add duplicate constraints, in fact it does not add a 
> constraint if it is implied by the current PC.

Thanks, I see the check now.