Changeset 99581ee for tests/test.py

Timestamp:

Oct 30, 2020, 12:29:39 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

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

Message:

Tests now support the --ast flag, Makefile still doesn't

File:

• tests/test.py (modified) (3 diffs)

tests/test.py

@@ -112 +112 @@
         # create a parser with the arguments for the tests script
         parser = argparse.ArgumentParser(description='Script which runs cforall tests')
+        parser.add_argument('--ast', help='Test for specific ast', type=comma_separated(str), default=None)
+        parser.add_argument('--arch', help='Test for specific architecture', type=comma_separated(str), default=None)
         parser.add_argument('--debug', help='Run all tests in debug or release', type=comma_separated(yes_no), default='yes')
         parser.add_argument('--install', help='Run all tests based on installed binaries or tree binaries', type=comma_separated(yes_no), default='no')
-        parser.add_argument('--arch', help='Test for specific architecture', type=comma_separated(str), default=None)
         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_')
         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
                 with Timed() as total_dur:
-                        for arch, debug, install in itertools.product(settings.all_arch, settings.all_debug, settings.all_install):
+                        for ast, arch, debug, install in itertools.product(settings.all_ast, settings.all_arch, settings.all_debug, settings.all_install):
+                                settings.ast     = ast
                                 settings.arch    = arch
                                 settings.debug   = debug
@@ -377 +379 @@
 
                                 # print configuration
-                                print('%s %i tests on %i cores (%s:%s)' % (
+                                print('%s %i tests on %i cores (%s:%s - %s)' % (
                                         'Regenerating' if settings.generating else 'Running',
                                         len(local_tests),
                                         options.jobs,
                                         settings.arch.string,
-                                        settings.debug.string
+                                        settings.debug.string,
+                                        settings.ast.string
                                 ))