Don't int() the env var

angr · Dec 20, 2023 · 5c86ec2 · 5c86ec2
1 parent 460d668
commit 5c86ec2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pysoot/jython_wrapper.py b/pysoot/jython_wrapper.py
@@ -35,7 +35,7 @@ def __init__(self, jython_folder, module_name, class_name, java_heap_size=None):
         if java_heap_size is not None:
             self.java_heap_size = java_heap_size
         elif "PYSOOT_HEAP_SIZE" in os.environ:
-            self.java_heap_size = int(os.environ["PYSOOT_HEAP_SIZE"])
+            self.java_heap_size = os.environ["PYSOOT_HEAP_SIZE"]
         else:
             # use 75% of total memory for the Java heap
             self.java_heap_size = int(psutil.virtual_memory().total*0.75)