add --disable-gc flag

.github/workflows/test.yml

@@ -54,4 +54,4 @@ jobs:
         run: python -m pip install -e .
 
       - name: Run pytest
-        run: pytest -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="-st --solver-max-memory 2048 --solver-threads 1 --storage-layout ${{ matrix.storage-layout }} ${{ matrix.cache-solver }} --solver-timeout-assertion 0 ${{ inputs.halmos-options }}" ${{ inputs.pytest-options }}
+        run: pytest -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="-st --disable-gc --solver-max-memory 2048 --solver-threads 1 --storage-layout ${{ matrix.storage-layout }} ${{ matrix.cache-solver }} --solver-timeout-assertion 0 ${{ inputs.halmos-options }}" ${{ inputs.pytest-options }}

src/halmos/__main__.py

@@ -1,5 +1,6 @@
 # SPDX-License-Identifier: AGPL-3.0
 
+import gc
 import io
 import json
 import os
@@ -1337,6 +1338,9 @@ def _main(_args=None) -> MainResult:
         print(f"halmos {metadata.version('halmos')}")
         return MainResult(0)
 
+    if args.disable_gc:
+        gc.disable()
+
     #
     # compile
     #

src/halmos/config.py

@@ -382,6 +382,12 @@ class Config:
         group=debugging,
     )
 
+    disable_gc: bool = arg(
+        help="disable Python's automatic garbage collection for cyclic objects. This does not affect reference counting based garbage collection.",
+        global_default=False,
+        group=debugging,
+    )
+
     ### Build options
 
     forge_build_out: str = arg(

tests/test_halmos.py

@@ -2,7 +2,6 @@
 import json
 
 import pytest
-import gc
 
 from halmos.__main__ import _main, rendered_calldata
 from halmos.bytevec import ByteVec
@@ -47,7 +46,6 @@
     ),
 )
 def test_main(cmd, expected_path, halmos_options):
-    gc.disable()
     actual = dataclasses.asdict(_main(cmd + halmos_options.split()))
     with open(expected_path, encoding="utf8") as f:
         expected = json.load(f)