diff options
Diffstat (limited to 'configs/common/Options.py')
-rw-r--r-- | configs/common/Options.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configs/common/Options.py b/configs/common/Options.py index ff4acbe37..1941875bc 100644 --- a/configs/common/Options.py +++ b/configs/common/Options.py @@ -85,6 +85,10 @@ parser.add_option("--work-end-checkpoint-count", action="store", type="int", help="checkpoint at specified work end count") parser.add_option("--work-cpus-checkpoint-count", action="store", type="int", help="checkpoint and exit when active cpu count is reached") +parser.add_option("--restore-with-cpu", action="store", type="choice", + default="atomic", choices = ["atomic", "timing", + "detailed", "inorder"], + help = "cpu type for restoring from a checkpoint") # CPU Switching - default switch model goes from a checkpoint |