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

Nguyễn Gia Phong cnx at loang.net
Fri Jul 7 06:57:35 BST 2023


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



More information about the klee-dev mailing list