diff options
Diffstat (limited to 'configs/common/Options.py')
-rw-r--r-- | configs/common/Options.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configs/common/Options.py b/configs/common/Options.py index 5d92b446d..89a8eda04 100644 --- a/configs/common/Options.py +++ b/configs/common/Options.py @@ -317,6 +317,8 @@ def addCommonOptions(parser): "SpectreSafeFence", "FuturisticSafeInvisibleSpec", "SpectreSafeInvisibleSpec"], help="choose baseline or defense designs to evaluate") + parser.add_option("--useIFT", default=None, action="store", type="int", + help="Use information flow tracking.") parser.add_option("--needsTSO", default=None, action="store", type="int", help="Select TSO or RC. Set unzero to use TSO.") parser.add_option("--allowSpecBuffHit", default=None, action="store", |