Change Model checking options to fit with Prolog refactoring
Description
Environment
None
Gliffy Diagrams
Activity
Show:
Jenkins Build Server February 20, 2013 at 2:49 PM
Integrated in
ProB_eclipse_develop #708
Refactored model checking dialog + options https://probjira.atlassian.net/browse/PROBPLUGIN-62#icft=PROBPLUGIN-62 (Revision 433c5ee4b9c598ac42a487328d3b30a55170faea)
Result = SUCCESS
jens :
Files :
de.prob.ui/src/de/prob/ui/eventb/ConsistencyCheckingJob.java
de.prob.core/src/de/prob/core/command/ConsistencyCheckingSearchOption.java
eclipse_interface.pl was changed (removed negation in options)