diff options
| author | Alasdair Armstrong | 2018-08-16 15:42:04 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-08-16 15:42:04 +0100 |
| commit | d6036434b0dad214d225b10d1e013a1f48dd419a (patch) | |
| tree | 851f97c790e9cf57f8ca049bbb52fbb4d05551c8 /src/rewriter.ml | |
| parent | b1ccdc07a945d47a0ef5ca9bdec575f6b831cd27 (diff) | |
Ressurect builtin tests, and add parallel test runner script
Add new python test runner script, which allows tests to be run in
parallel before collecting the results. This makes the tests run a lot
faster, especially for the builtins and C compilation tests. Also
handles reporting errors mushc more nicely than the previous way of
doing it in shell script.
Diffstat (limited to 'src/rewriter.ml')
0 files changed, 0 insertions, 0 deletions