-
David Hauzar authored
Setting whether counter-example should be get in why3ide is done by in GUI - instead of setting this using command-line option.
7335f1c3
Setting whether counter-example should be get in why3ide is done by in GUI - instead of setting this using command-line option.