From b02c09f0dd76ece186db1b1c6f88ccc3767df998 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Thu, 15 Nov 2007 21:49:35 +0100 Subject: [PATCH] Disabled --check for gui as well. --check is not working correctly, so we should disable it for now. --- gui/scyther-gui.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gui/scyther-gui.py b/gui/scyther-gui.py index adcc5f7..16a6093 100755 --- a/gui/scyther-gui.py +++ b/gui/scyther-gui.py @@ -60,8 +60,8 @@ def parseArgs(): help="Immediately generate the complete characterization of the protocol (requires input file)") parser.add_option("-a","--auto-claims",dest="command",default=None,action="store_const",const="autoverify", help="Immediately verified protocol using default claims (requires input file)") - parser.add_option("-c","--check",dest="command",default=None,action="store_const",const="check", - help="Immediately check protocol (requires input file)") + #parser.add_option("-c","--check",dest="command",default=None,action="store_const",const="check", + # help="Immediately check protocol (requires input file)") # License parser.add_option("-l","--license",dest="license",default=False,action="store_const",const=True,