From 91ecb298556635656f076dbbef6d938f5cc7e8b5 Mon Sep 17 00:00:00 2001 From: karmacoma Date: Fri, 26 Jan 2024 17:04:10 -0800 Subject: [PATCH] use consistent dump_dirname --- src/halmos/__main__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py index 4b74f30b..947160fe 100644 --- a/src/halmos/__main__.py +++ b/src/halmos/__main__.py @@ -335,7 +335,7 @@ def run_bytecode(hexcode: str, args: Namespace) -> List[Exec]: else: print(f"Final opcode: {mnemonic(opcode)})") print(f"Return data: {returndata}") - dump_dirname = f"/tmp/halmos-{uuid.uuid4()}" + dump_dirname = f"/tmp/halmos-{uuid.uuid4().hex}" model_with_context = gen_model_from_sexpr( GenModelArgs(args, idx, ex.path.solver.to_smt2(), dump_dirname) )