Change Model checking options to fit with Prolog refactoring

Description

eclipse_interface.pl was changed (removed negation in options)

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

Fixed

Details

Assignee

Reporter

Fix versions

Priority

Created February 20, 2013 at 2:44 PM
Updated February 20, 2013 at 2:49 PM
Resolved February 20, 2013 at 2:48 PM