auto-enable TesaPrintToConsole only with assertions enabled

Author: d-kozak

substratevm/src/com.oracle.svm.hosted/src/com/oracle/svm/hosted/NativeImageGenerator.java

@@ -53,8 +53,6 @@
 import java.util.function.BooleanSupplier;
 import java.util.function.Function;
 
-import com.oracle.svm.core.imagelayer.LayeredImageOptions;
-import com.oracle.svm.hosted.reflect.ReflectionFeature;
 import org.graalvm.collections.EconomicSet;
 import org.graalvm.collections.Pair;
 import org.graalvm.nativeimage.ImageInfo;
@@ -160,6 +158,7 @@
 import com.oracle.svm.core.hub.DynamicHub;
 import com.oracle.svm.core.image.ImageHeapLayouter;
 import com.oracle.svm.core.imagelayer.ImageLayerBuildingSupport;
+import com.oracle.svm.core.imagelayer.LayeredImageOptions;
 import com.oracle.svm.core.jdk.ServiceCatalogSupport;
 import com.oracle.svm.core.layeredimagesingleton.LayeredImageSingletonSupport;
 import com.oracle.svm.core.meta.MethodOffset;

substratevm/src/com.oracle.svm.hosted/src/com/oracle/svm/hosted/analysis/tesa/TesaEngine.java

@@ -38,6 +38,7 @@
 import com.oracle.graal.pointsto.BigBang;
 import com.oracle.graal.pointsto.meta.AnalysisMethod;
 import com.oracle.graal.pointsto.results.StrengthenGraphs;
+import com.oracle.svm.core.SubstrateUtil;
 import com.oracle.svm.core.option.HostedOptionKey;
 import com.oracle.svm.core.traits.BuiltinTraits.BuildtimeAccessOnly;
 import com.oracle.svm.core.traits.BuiltinTraits.NoLayeredCallbacks;
@@ -84,8 +85,8 @@ public static class Options {
         @Option(help = "Enable Transitive Effect Summary Analysis (TESA).")//
         public static final HostedOptionKey<Boolean> TransitiveEffectSummaryAnalysis = new HostedOptionKey<>(true);
 
-        @Option(help = "Print TESA results to the console.")//
-        public static final HostedOptionKey<Boolean> TesaPrintToConsole = new HostedOptionKey<>(true);
+        @Option(help = "Print TESA results to the console. Enabled automatically with assertions.")//
+        public static final HostedOptionKey<Boolean> TesaPrintToConsole = new HostedOptionKey<>(SubstrateUtil.assertionsEnabled());
 
         @Option(help = "Throw an exception if any TESA instance fails to reach a fixed point within the expected number of iterations.")//
         public static final HostedOptionKey<Boolean> TesaThrowOnNonTermination = new HostedOptionKey<>(true);