SQLab/CRAX — pull request #6 by kvchung (2013-09-09 11:05:28+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