| #
9ccfa38a |
|
16-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
test: fix wip counting
[skip bamboo]
|
| #
033c617f |
|
08-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
test: add expected results wip-pass and wip-fail
[skip bamboo]
|
| #
22dda18a |
|
06-Jul-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
test: add a test-compiler-proofs target to Makefile
[skip travis]
|
| #
2802636c |
|
30-Jun-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
test: change extra-phase logic
* if --extra-phases is not specified, then no extra phases tested
* otherwise, it's subject to --ignore-phases
|
| #
a689ce97 |
|
30-Jun-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
test: fix --repo and --cogent args
|
| #
8b9492d4 |
|
30-Jun-2020 |
Zilin Chen <Zilin.Chen@data61.csiro.au> |
test: add --cogent flag
[skip ci]
|
| #
3b3ca7cc |
|
25-Jun-2020 |
vjackson725 <vjackson725@users.noreply.github.com> |
tests: add ignore phases switch to testing script
also remove some bad tests from type_proof
|
| #
a56a1a5c |
|
23-Jun-2020 |
vjackson725 <vjackson725@users.noreply.github.com> |
tests: make ignore-errors flag store boolean
|
| #
6c17502b |
|
23-Jun-2020 |
vjackson725 <vjackson725@users.noreply.github.com> |
tests: revise how the test script counts failures
errors are counted as errors now, not failures
|
| #
a8d18763 |
|
17-Apr-2020 |
vjackson725 <vjackson725@users.noreply.github.com> |
tests: fix run-test-suite when phases don't exist
see #362
|
| #
8f2e16b3 |
|
08-Apr-2020 |
vjackson725 <vjackson725@users.noreply.github.com> |
tests: fix infinite loop
|
| #
ac75c4f4 |
|
06-Apr-2020 |
vjackson725 <vjackson725@users.noreply.github.com> |
tests: split test configurations and tests
|
| #
dc2ea01f |
|
06-Apr-2020 |
vjackson725 <vjackson725@users.noreply.github.com> |
tests: add configurations object to test script
|
| #
11ad5752 |
|
05-Apr-2020 |
vjackson725 <vjackson725@users.noreply.github.com> |
tests: optimise test script
|
| #
15b27673 |
|
30-Mar-2020 |
vjackson725 <vjackson725@users.noreply.github.com> |
tests: add type proof script
|
| #
12dfbcd3 |
|
03-Feb-2020 |
Emmet Murray <e.minor.murray@gmail.com> |
tests: tests are now organised by test names, change structure of configuration file
|
| #
246f52f4 |
|
28-Jan-2020 |
Emmet Murray <e.minor.murray@gmail.com> |
Add suggestion and make compatible with python3.6
|
| #
042ef5f8 |
|
27-Jan-2020 |
Emmet Murray <e.minor.murray@gmail.com> |
testing: add better error messages, sandboxed compilation output, fixing some tests
|
| #
28c7248d |
|
22-Jan-2020 |
Emmet Murray <e.minor.murray@gmail.com> |
testing: factorial example and script changes
|
| #
e60af3dd |
|
21-Jan-2020 |
Emmet Murray <e.minor.murray@gmail.com> |
testing: Return correct status code, fix up style
|
| #
3449a27d |
|
21-Jan-2020 |
Emmet Murray <e.minor.murray@gmail.com> |
testing: added wip expected result, changed yaml file syntax and documentation
|
| #
8bc4ac8d |
|
21-Jan-2020 |
Emmet Murray <e.minor.murray@gmail.com> |
Added all tests
|
| #
385ccfa4 |
|
20-Jan-2020 |
Emmet Murray <e.minor.murray@gmail.com> |
reorganised tests, added base testing script
|