Skip to content
Snippets Groups Projects
Commit 06017916 authored by Sebastian Krings's avatar Sebastian Krings
Browse files

fix assertion check button

parent 5f62d80c
No related branches found
No related tags found
No related merge requests found
...@@ -308,6 +308,11 @@ ...@@ -308,6 +308,11 @@
id="de.prob.ui.refinement_check" id="de.prob.ui.refinement_check"
name="Validate Refinement"> name="Validate Refinement">
</command> </command>
<command
categoryId="de.prob.ui.commands.category"
id="de.prob.ui.assertion_check"
name="Check Assertions">
</command>
<command <command
categoryId="de.prob.ui.commands.category" categoryId="de.prob.ui.commands.category"
id="de.prob.ui.opview.checks" id="de.prob.ui.opview.checks"
...@@ -766,9 +771,6 @@ ...@@ -766,9 +771,6 @@
</handler> </handler>
<handler <handler
commandId="de.prob.ui.assertion_check"> commandId="de.prob.ui.assertion_check">
<class
class="de.prob.ui.deadlock.AssertionCheckHandler">
</class>
<enabledWhen> <enabledWhen>
<with <with
variable="de.prob.core.model_loaded"> variable="de.prob.core.model_loaded">
...@@ -777,6 +779,9 @@ ...@@ -777,6 +779,9 @@
</equals> </equals>
</with> </with>
</enabledWhen> </enabledWhen>
<class
class="de.prob.ui.assertion.AssertionCheckHandler">
</class>
</handler> </handler>
<!-- <handler <!-- <handler
commandId="de.prob.ui.startdmc"> commandId="de.prob.ui.startdmc">
...@@ -1109,7 +1114,7 @@ ...@@ -1109,7 +1114,7 @@
style="push"> style="push">
</command> </command>
<command <command
commandId="de.prob.ui.assertions_check" commandId="de.prob.ui.assertion_check"
icon="icons/CBCInvariantCheck.png" icon="icons/CBCInvariantCheck.png"
label="Context Theorems" label="Context Theorems"
mnemonic="C" mnemonic="C"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment