source: src/tests/test.py@ df42128

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since df42128 was 122cac7, checked in by Thierry Delisle <tdelisle@…>, 9 years ago

fixed python script to work regardless of makelevel

  • Property mode set to 100644
File size: 4.4 KB
RevLine 
[efc15918]1#!python
2from __future__ import print_function
3
[122cac7]4from os import listdir, environ
[0534c3c]5from os.path import isfile, join, splitext
[efc15918]6from subprocess import Popen, PIPE, STDOUT
7
8import argparse
[122cac7]9import os
10import re
[efc15918]11import sys
12
13################################################################################
14# help functions
15################################################################################
16def listTests():
[0534c3c]17 list = [splitext(f)[0] for f in listdir('./.expect')
18 if not f.startswith('.') and f.endswith('.txt')
19 ]
[efc15918]20
21 return list
22
23def sh(cmd, dry_run):
24 if dry_run :
25 print("cmd: %s" % cmd)
26 return 0
27 else :
28 proc = Popen(cmd, stderr=STDOUT, shell=True)
29 proc.communicate()
30 return proc.returncode
31
[122cac7]32def file_replace(fname, pat, s_after):
33 # first, see if the pattern is even in the file.
34 with open(fname) as f:
35 if not any(re.search(pat, line) for line in f):
36 return # pattern does not occur in file so we are done.
37
38 # pattern is in the file, so perform replace operation.
39 with open(fname) as f:
40 out_fname = fname + ".tmp"
41 out = open(out_fname, "w")
42 for line in f:
43 out.write(re.sub(pat, s_after, line))
44 out.close()
45 os.rename(out_fname, fname)
46
47def fix_MakeLevel(file) :
48 if environ.get('MAKELEVEL') :
49 file_replace(file, "make\[%i\]" % int(environ.get('MAKELEVEL')), 'make' )
50
51
[efc15918]52################################################################################
53# running test functions
54################################################################################
[3c1d702]55def run_test_instance(test, generate, dry_run):
56
57 out_file = (".out/%s.log" % test) if not generate else (".expect/%s.txt" % test)
58
59 sh("rm -f %s" % out_file, dry_run)
[245510f]60 sh("rm -f %s > /dev/null 2>&1" % test, dry_run)
[efc15918]61
62 # build, skipping to next test on error
[fbaebc6]63 make_ret = sh("make -j 8 %s 2> %s 1> /dev/null" % (test, out_file), dry_run)
[efc15918]64
[3c1d702]65 if make_ret == 0 :
66 # fetch optional input
67 stdinput = "< .in/%s.txt" % test if isfile(".in/%s.txt" % test) else ""
[efc15918]68
[3c1d702]69 # run test
70 sh("./%s %s > %s 2>&1" % (test, stdinput, out_file), dry_run)
[efc15918]71
[3c1d702]72 retcode = 0
[122cac7]73
74 fix_MakeLevel(out_file)
75
[3c1d702]76 if not generate :
77 # diff the output of the files
78 retcode = sh("diff .expect/%s.txt .out/%s.log" % (test, test), dry_run)
[efc15918]79
80 # clean the executable
[245510f]81 sh("rm -f %s > /dev/null 2>&1" % test, dry_run)
[efc15918]82
83 return retcode
84
[3c1d702]85def run_tests(tests, generate, dry_run) :
[efc15918]86 sh('make clean > /dev/null 2>&1', dry_run)
[3c1d702]87 sh('mkdir -p .out .expect', dry_run)
88
89 if generate :
[ebcd82b]90 print( "Regenerate tests for: " )
[efc15918]91
92 failed = False;
93 for t in tests:
[ebcd82b]94 print("%20s " % t, end="")
[efc15918]95 sys.stdout.flush()
[3c1d702]96 test_failed = run_test_instance(t, generate, dry_run)
[efc15918]97 failed = test_failed or failed
98
[3c1d702]99 if not generate :
100 print("FAILED" if test_failed else "PASSED")
[ebcd82b]101 else :
102 print( "Done" )
[efc15918]103
[3c1d702]104 sh('make clean > /dev/null 2>&1', dry_run)
[efc15918]105
[b70b6fc]106 return 1 if failed else 0
[efc15918]107
108################################################################################
109# main loop
110################################################################################
111parser = argparse.ArgumentParser(description='Script which runs cforall tests')
112parser.add_argument('--dry-run', help='Don\'t run the tests, only output the commands', action='store_true')
[0534c3c]113parser.add_argument('--list', help='List all test available', action='store_true')
[efc15918]114parser.add_argument('--all', help='Run all test available', action='store_true')
[0534c3c]115parser.add_argument('--regenerate-expected', help='Regenerate the .expect by running the specified tets, can be used with --all option', action='store_true')
[efc15918]116parser.add_argument('tests', metavar='test', type=str, nargs='*', help='a list of tests to run')
117
118options = parser.parse_args()
119
[0534c3c]120if (len(options.tests) > 0 and options.all and not options.list) \
121or (len(options.tests) == 0 and not options.all and not options.list) :
[3c1d702]122 print('ERROR: must have option \'--all\' or non-empty test list', file=sys.stderr)
123 parser.print_help()
124 sys.exit(1)
[efc15918]125
[0534c3c]126allTests = listTests()
127
128if options.all or options.list :
129 tests = allTests
130
131else :
132 tests = []
133 for test in options.tests:
[fbaebc6]134 if test in allTests :
[0534c3c]135 tests.append(test)
136 else :
137 print('ERROR: No expected file for test %s, ignoring it' % test, file=sys.stderr)
138
139 if len(tests) == 0 :
140 print('ERROR: No valid test to run', file=sys.stderr)
141 sys.exit(1)
142
143if options.list :
144 print("\n".join(tests))
[efc15918]145
[0534c3c]146else :
147 sys.exit( run_tests(tests, options.regenerate_expected, options.dry_run) )
Note: See TracBrowser for help on using the repository browser.