Default Analysis Settings
Closed this issue · 2 comments
By default k-induction is off. The default settings should be fixed so that k-induction, PDR, BMC are all on with a reasonable bound on k and timeout.
@chaosape It seems that this was broken when you added commandline analysis. Honestly, I've spent 3 hours now pouring through this code and have not been able to figure out why Preferences don't initialize correctly. It's a minor problem that is easily solved by setting the fields, but novice users don't know how to set them properly.
I suppose at some point you and I need to sit down and figure out how to address this because I can't justify spending any more time on it.
It looks like the PreferenceInitializer isn't used by the command line tools. Thus, I've moved it back into the UI project and intialize the preferences page (which is only used by the GUI version) using the activator, which ensures the preferences are initialized in the GUI version.