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

[Cristian Cadar]

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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev