boogie-org / symbooglix

Symbolic Execution Engine for Boogie
MIT License
27 stars 4 forks source link

Fix horrible constructors #11

Open delcypher opened 8 years ago

delcypher commented 8 years ago

The constructors of many important classes (e.g. Executor and the solver classes) are a mess. We need to create some sort of config object for each of these so that when we add/remove a parameter it doesn't require massive changes that end up propagating all over the code base.