File: run_tests.py

package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36
file content (54 lines) | stat: -rwxr-xr-x 1,686 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
#!/usr/bin/env python3

import os
import sys

mydir = os.path.dirname(__file__)
os.chdir(mydir)
sys.path.insert(0, os.path.realpath('..'))

from sailtest import *

sail_dir = get_sail_dir()
sail = get_sail()

print("Sail is {}".format(sail))
print("Sail dir is {}".format(sail_dir))

def test_float(name, sail_opts, compiler, c_opts):
    banner('Testing {} with C options: {} Sail options: {}'.format(name, c_opts, sail_opts))
    results = Results(name)

    for filenames in chunks(os.listdir('.'), parallel()):
        tests = {}

        for filename in filenames:
            basename = os.path.splitext(os.path.basename(filename))[0]

            if not basename.endswith ("_test"):
              continue

            tests[filename] = os.fork()
            if tests[filename] == 0:
                step('\'{}\' -no_warn -c {} {} 1> {}.c'.format(sail, sail_opts, filename, basename))
                step('{} {} {}.c \'{}\'/lib/*.c -lgmp -I \'{}\'/lib -o {}.bin'.format(compiler, c_opts, basename, sail_dir, sail_dir, basename))
                step('./{}.bin > {}.result 2> {}.err_result'.format(basename, basename, basename), expected_status = 1 if basename.startswith('fail') else 0)

                step('diff {}.err_result no_error && rm {}.err_result'.format(basename, basename))
                step('rm {}.c {}.bin {}.result'.format(basename, basename, basename))

                print_ok(filename)
                sys.exit()

        results.collect(tests)
    return results.finish()

xml = '<testsuites>\n'

xml += test_float('floating point c optimized', '', 'cc', '-O2')

xml += '</testsuites>\n'

output = open('tests.xml', 'w')
output.write(xml)
output.close()