joliebig/Hercules — pull request #2 by joliebig (2014-06-17 07:58:01+00:00)
Title: Runtime

fixing minor missuage of alltd strategy
set bdd as default for ifdeftoif tests