clear live display before starting new instance

Author: daejunpark

src/halmos/__main__.py

@@ -606,7 +606,7 @@ def run(
 
     timer = NamedTimer("time")
     timer.create_subtimer("paths")
-    sevm.status.start()
+    sevm.status_start()
 
     exs = sevm.run(
         Exec(

src/halmos/sevm.py

@@ -15,6 +15,7 @@
     TypeVar,
 )
 
+import rich
 import xxhash
 from eth_hash.auto import keccak
 from rich.status import Status
@@ -1718,6 +1719,11 @@ def __init__(self, options: HalmosConfig) -> None:
         is_generic = self.options.storage_layout == "generic"
         self.storage_model = GenericStorage if is_generic else SolidityStorage
 
+    def status_start(self) -> None:
+        # clear any remaining live display before starting a new instance
+        rich.get_console().clear_live()
+        self.status.start()
+
     def div_xy_y(self, w1: Word, w2: Word) -> Word:
         # return the number of bits required to represent the given value. default = 256
         def bitsize(w: Word) -> int: