:key.ui:run w/ -ea

Author: wadoon

key.ui/build.gradle

@@ -75,6 +75,9 @@ run {
     //systemProperties["KeyDebugFlag"] = "on"
     //args "--experimental"
 
+    // enable assertion
+    jvmArgs += "-ea"
+
     // this can be used to solve a problem where the OS hangs during debugging of popup menus
     // (see https://docs.oracle.com/javase/10/troubleshoot/awt.htm#JSTGD425)
     jvmArgs += "-Dsun.awt.disablegrab=true"

key.ui/src/main/java/de/uka/ilkd/key/core/Main.java

@@ -239,6 +239,15 @@ public static void main(final String[] args) {
     public Integer call() throws Exception {
         Debug.ENABLE_DEBUG = debug;
 
+        try {
+            // weigl: You can set assertion status via the system class loader,
+            // but can not get its current status. Here a workaround.
+            assert false;
+            LOGGER.info("Assertion evaluation is disabled.");
+        } catch (AssertionError e) {
+            LOGGER.info("Assertion evaluation is enabled.");
+        }
+
         if (tacletDir != null) {
             System.setProperty(RuleSourceFactory.STD_TACLET_DIR_PROP_KEY,
                 tacletDir.toAbsolutePath().toString());
@@ -301,11 +310,7 @@ public Integer call() throws Exception {
             LOGGER.info("Running in debug mode");
         }
 
-        if (Debug.ENABLE_ASSERTION) {
-            LOGGER.info("Using assertions");
-        } else {
-            LOGGER.info("Not using assertions");
-        }
+        LOGGER.info("Debug.ENABLE_ASSERTION = {}", Debug.ENABLE_ASSERTION);
 
         if (riflFileName != null) {
             LOGGER.info("Loading RIFL specification from {}", riflFileName);
@@ -351,11 +356,6 @@ public Integer call() throws Exception {
 
         AbstractMediatorUserInterfaceControl ui = createUserInterface(inputFiles);
 
-        System.out.println(inputFiles.isEmpty());
-        System.out.println(examplesFolder);
-        System.out.println(ui);
-        System.out.println(showExampleChooserIfExamplesDirIsDefined);
-
         if (inputFiles.isEmpty()) {
             if (examplesFolder != null
                     && showExampleChooserIfExamplesDirIsDefined