feat: deprecate --no-test-constructor

src/halmos/__main__.py

@@ -374,13 +374,6 @@ def deploy_test(
     creation_bytecode = Contract.from_hexcode(creation_hexcode)
     ex.pgm = creation_bytecode
 
-    # use the given deployed bytecode if --no-test-constructor is enabled
-    if args.no_test_constructor:
-        deployed_bytecode = Contract.from_hexcode(deployed_hexcode)
-        ex.set_code(this, deployed_bytecode)
-        ex.pgm = deployed_bytecode
-        return ex
-
     # create test contract
     exs = list(sevm.run(ex))
 

src/halmos/config.py

@@ -164,11 +164,6 @@ class Config:
         global_default=False,
     )
 
-    no_test_constructor: bool = arg(
-        help="do not run the constructor of test contracts",
-        global_default=False,
-    )
-
     ffi: bool = arg(
         help="allow the usage of FFI to call external functions",
         global_default=False,

tests/regression/halmos.toml

@@ -35,9 +35,6 @@ storage-layout = "solidity"
 # set default storage values to symbolic
 symbolic-storage = false
 
-# do not run the constructor of test contracts
-no-test-constructor = false
-
 # allow the usage of FFI to call external functions
 ffi = false