[Misc][Easy] Remove the space from the file name

This commit is contained in:
Lu Fang
2025-02-05 19:23:35 -08:00
committed by GitHub
parent 76abd0c881
commit 9cdea30b4f
42 changed files with 2 additions and 2 deletions

View File

@@ -765,7 +765,7 @@ def get_config_file_name(E: int,
device_name = current_platform.get_device_name().replace(" ", "_")
dtype_selector = "" if not dtype else f",dtype={dtype}"
block_shape_selector = ("" if not block_shape or not all(block_shape) else
f",block_shape={block_shape}")
f",block_shape={block_shape}").replace(" ", "")
return f"E={E},N={N},device_name={device_name}{dtype_selector}{block_shape_selector}.json" # noqa: E501