From af2bf299d7a5e2d43dab02dcd1417746888990a3 Mon Sep 17 00:00:00 2001
From: Raffi Khatchadourian <raffi.khatchadourian@hunter.cuny.edu>
Date: Mon, 27 Nov 2023 14:09:02 -0500
Subject: [PATCH 1/2] Metadata.

---
 .../TestTensorflowModel.testTf2.launch                           | 1 +
 1 file changed, 1 insertion(+)

diff --git a/com.ibm.wala.cast.python.ml.test/TestTensorflowModel.testTf2.launch b/com.ibm.wala.cast.python.ml.test/TestTensorflowModel.testTf2.launch
index 336fd1b97..f1fdc94f7 100644
--- a/com.ibm.wala.cast.python.ml.test/TestTensorflowModel.testTf2.launch
+++ b/com.ibm.wala.cast.python.ml.test/TestTensorflowModel.testTf2.launch
@@ -18,6 +18,7 @@
     <stringAttribute key="org.eclipse.jdt.junit.TESTNAME" value="testTf2"/>
     <stringAttribute key="org.eclipse.jdt.junit.TEST_KIND" value="org.eclipse.jdt.junit.loader.junit4"/>
     <booleanAttribute key="org.eclipse.jdt.launching.ATTR_ATTR_USE_ARGFILE" value="false"/>
+    <booleanAttribute key="org.eclipse.jdt.launching.ATTR_SHOW_CODEDETAILS_IN_EXCEPTION_MESSAGES" value="true"/>
     <booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_CLASSPATH_ONLY_JAR" value="false"/>
     <stringAttribute key="org.eclipse.jdt.launching.CLASSPATH_PROVIDER" value="org.eclipse.buildship.core.classpathprovider"/>
     <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11/"/>

From 791d0548af93bd05284a0e4382530f9eeb8123bd Mon Sep 17 00:00:00 2001
From: Raffi Khatchadourian <raffi.khatchadourian@hunter.cuny.edu>
Date: Wed, 29 Nov 2023 14:37:29 -0500
Subject: [PATCH 2/2] Turn verbose logging on.

---
 .../TestTensorflowModel.testTf2.launch                          | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/com.ibm.wala.cast.python.ml.test/TestTensorflowModel.testTf2.launch b/com.ibm.wala.cast.python.ml.test/TestTensorflowModel.testTf2.launch
index f1fdc94f7..1043bf98f 100644
--- a/com.ibm.wala.cast.python.ml.test/TestTensorflowModel.testTf2.launch
+++ b/com.ibm.wala.cast.python.ml.test/TestTensorflowModel.testTf2.launch
@@ -25,5 +25,5 @@
     <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.ibm.wala.cast.python.ml.test.TestTensorflowModel"/>
     <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="com.ibm.wala.cast.python.ml.test"/>
     <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.m2e.launchconfig.sourcepathProvider"/>
-    <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea  -Djava.util.logging.config.file=logging.properties"/>
+    <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea  -Djava.util.logging.config.file=logging.properties -Dcom.ibm.wala.fixedpoint.impl.verbose=true"/>
 </launchConfiguration>