bugfix smt

2f7ffb3e · Sarah Grebing · e96e5a81 · 2f7ffb3e · 2f7ffb3e · 2f7ffb3e
Commit 2f7ffb3e authored Feb 16, 2018 by Sarah Grebing
--- a/keydeps/lib/components/key.core.jar
+++ b/keydeps/lib/components/key.core.jar
--- a/keydeps/lib/components/key.ui.jar
+++ b/keydeps/lib/components/key.ui.jar
--- a/keydeps/lib/components/key.util.jar
+++ b/keydeps/lib/components/key.util.jar
--- a/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps
+++ b/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps
 // Please select one of the following scripts.
 //
-
+script testSMT(){
+    smt solver='Z3';
+}
 script toRemove(){
  impRight;
  useContract type='dependency' on=`p`;