dslab-epfl/s2e — pull request #56 by kvchung (2013-09-09 10:59:54+00:00)
Title: option --use-concolic-taint=true:no addConstraint

Trun --use-concolic-taint on to not addConstraint while using single path concolic execution to speed up