Changeset 99581ee
- Timestamp:
- Oct 30, 2020, 12:29:39 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 0ab3b73
- Parents:
- 969e7ee7
- Location:
- tests
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
tests/pybin/settings.py
r969e7ee7 r99581ee 98 98 self.path = "debug" if value else "nodebug" 99 99 100 class AST: 101 def __init__(self, ast): 102 if ast == "new": 103 self.string = "New AST" 104 self.flags = """AST_FLAGS=-XCFA,--new-ast""" 105 elif ast == "old": 106 self.string = "Old AST" 107 self.flags = """AST_FLAGS=-XCFA,--old-ast""" 108 elif ast == None: 109 self.string = "Default AST (%s)" % ("new" if config.NEWAST else "old") 110 self.flags = """AST_FLAGS=""" 111 else: 112 print("""ERROR: Invalid ast configuration, must be "old", "new" or left unspecified, was %s""" % (value), file=sys.stderr) 113 100 114 class Install: 101 115 def __init__(self, value): … … 120 134 121 135 def init( options ): 136 global all_ast 122 137 global all_arch 123 138 global all_debug 124 139 global all_install 140 global ast 125 141 global arch 142 global debug 126 143 global archive 144 global install 145 127 146 global continue_ 128 global debug129 147 global dry_run 130 148 global generating 131 global install132 149 global make 133 150 global output_width … … 135 152 global timeout2gdb 136 153 154 all_ast = [AST(o) for o in list(dict.fromkeys(options.ast ))] if options.ast else [AST(None)] 137 155 all_arch = [Architecture(o) for o in list(dict.fromkeys(options.arch ))] if options.arch else [Architecture(None)] 138 156 all_debug = [Debug(o) for o in list(dict.fromkeys(options.debug ))] -
tests/pybin/tools.py
r969e7ee7 r99581ee 181 181 '-s' if silent else None, 182 182 test_param, 183 settings.ast.flags, 183 184 settings.arch.flags, 184 185 settings.debug.flags, -
tests/test.py
r969e7ee7 r99581ee 112 112 # create a parser with the arguments for the tests script 113 113 parser = argparse.ArgumentParser(description='Script which runs cforall tests') 114 parser.add_argument('--ast', help='Test for specific ast', type=comma_separated(str), default=None) 115 parser.add_argument('--arch', help='Test for specific architecture', type=comma_separated(str), default=None) 114 116 parser.add_argument('--debug', help='Run all tests in debug or release', type=comma_separated(yes_no), default='yes') 115 117 parser.add_argument('--install', help='Run all tests based on installed binaries or tree binaries', type=comma_separated(yes_no), default='no') 116 parser.add_argument('--arch', help='Test for specific architecture', type=comma_separated(str), default=None)117 118 parser.add_argument('--continue', help='When multiple specifications are passed (debug/install/arch), sets whether or not to continue if the last specification failed', type=yes_no, default='yes', dest='continue_') 118 119 parser.add_argument('--timeout', help='Maximum duration in seconds after a single test is considered to have timed out', type=int, default=120) … … 362 363 # for each build configurations, run the test 363 364 with Timed() as total_dur: 364 for arch, debug, install in itertools.product(settings.all_arch, settings.all_debug, settings.all_install): 365 for ast, arch, debug, install in itertools.product(settings.all_ast, settings.all_arch, settings.all_debug, settings.all_install): 366 settings.ast = ast 365 367 settings.arch = arch 366 368 settings.debug = debug … … 377 379 378 380 # print configuration 379 print('%s %i tests on %i cores (%s:%s )' % (381 print('%s %i tests on %i cores (%s:%s - %s)' % ( 380 382 'Regenerating' if settings.generating else 'Running', 381 383 len(local_tests), 382 384 options.jobs, 383 385 settings.arch.string, 384 settings.debug.string 386 settings.debug.string, 387 settings.ast.string 385 388 )) 386 389
Note: See TracChangeset
for help on using the changeset viewer.