diff --git a/de.prob.ui/plugin.xml b/de.prob.ui/plugin.xml index d1ea1c26180b629f443957af830425eb0ca16efd..43acbbe73bcfb5597ca108f04be5641c0a2f65df 100644 --- a/de.prob.ui/plugin.xml +++ b/de.prob.ui/plugin.xml @@ -308,6 +308,11 @@ id="de.prob.ui.refinement_check" name="Validate Refinement"> </command> + <command + categoryId="de.prob.ui.commands.category" + id="de.prob.ui.assertion_check" + name="Check Assertions"> + </command> <command categoryId="de.prob.ui.commands.category" id="de.prob.ui.opview.checks" @@ -766,9 +771,6 @@ </handler> <handler commandId="de.prob.ui.assertion_check"> - <class - class="de.prob.ui.deadlock.AssertionCheckHandler"> - </class> <enabledWhen> <with variable="de.prob.core.model_loaded"> @@ -777,6 +779,9 @@ </equals> </with> </enabledWhen> + <class + class="de.prob.ui.assertion.AssertionCheckHandler"> + </class> </handler> <!-- <handler commandId="de.prob.ui.startdmc"> @@ -1109,7 +1114,7 @@ style="push"> </command> <command - commandId="de.prob.ui.assertions_check" + commandId="de.prob.ui.assertion_check" icon="icons/CBCInvariantCheck.png" label="Context Theorems" mnemonic="C"