Merge pull request #1150 from sosy-lab/Po-Chun-Chien-patch-1

PhilippWendler · web-flow · commit 44aee231f992 · 2025-02-14T14:45:17.000+01:00
Fix a small typo
diff --git a/benchexec/containerexecutor.py b/benchexec/containerexecutor.py
@@ -54,7 +54,7 @@ def add_basic_container_args(argument_parser):
         "--no-tmpfs",
         dest="tmpfs",
         action="store_false",
-        help="Store temporary files (e.t., tool output files) on the actual file system"
+        help="Store temporary files (e.g., tool output files) on the actual file system"
         ' instead of a tmpfs ("RAM disk") that is included in the memory limit',
     )
     argument_parser.add_argument(

Original file line number	Diff line number	Diff line change
`@@ -54,7 +54,7 @@ def add_basic_container_args(argument_parser):`
`54`	`54`	`"--no-tmpfs",`
`55`	`55`	`dest="tmpfs",`
`56`	`56`	`action="store_false",`
`57`		`- help="Store temporary files (e.t., tool output files) on the actual file system"`
	`57`	`+ help="Store temporary files (e.g., tool output files) on the actual file system"`
`58`	`58`	`' instead of a tmpfs ("RAM disk") that is included in the memory limit',`
`59`	`59`	`)`
`60`	`60`	`argument_parser.add_argument(`