def run( self ):
'''
**Public Method**
Do not call directly. Started by threading.Thread.start().
Updates the GuiReturnVal class variable with the result of
the test suite run.
'''
GuiReturnVal.rv = testsuite.runsuite()
def testResult( self ):
'''
Run the pre.lus file. Expect this to pass
'''
SetupConfig().setTestFiles( self.testFile, False )
try:
ok = runsuite( verbose = False )
except:
pass
self.assertTrue( ok, 'pre.lus file Passes?' )
# Check if an alternate JKind jar file was specified
if( args.jkind ):
assert os.path.exists( args.jkind )
SetupConfig().setJkindFile( args.jkind )
# Check if an alternate Java executable was specified. Note that we must
# have also specified the JKind path as well if we want to do this.
if( args.java and not args.jkind ):
parser.error( 'Must specify -jkind if using -java' )
if( args.java ):
assert os.path.exists( args.java )
SetupConfig().setJava( args.java )
# Check if the quiet flag was set
if( args.quiet ):
SetupConfig().setQuiet( args.quiet )
# Launch either the command line or GUI
if( args.gui ):
ok = launchGUI()
else:
ok = runsuite()
# Use this to exit such that the application status code is returned
# to the OS. Return code is typically 0 for success, so convert the
# boolean return values.
# Windows show by: echo %ERRORLEVEL%
sys.exit( not int( ok ) )
