dslab-epfl/s2e — pull request #35 by DonDiego (2013-04-15 13:29:11+00:00)
Title: stp build changes

Enabling cryptominisat only for the non-asan case looked like an oversight in the llvm 3.2 porting effort.

This also refactors the stp configuration flags to avoid code duplication.