Pierre-Marie de Rodat
|
c81db28966
|
Testsuite: switch to Python3 and e3-testsuite
Also introduce a Mypy setup, to type-check the testsuite code (only that
for now).
Change-Id: Ib90b1ac7e344fb34c7560dc0ff32ca95e0705cd7
TN: U622-042
|
2021-10-13 11:48:31 +02:00 |
|
Pierre-Marie de Rodat
|
c35e7488c2
|
Forward GDB session logs to the testcase logs
Change-Id: Ib036d13ea0aa33956a5b2279576efa84612bcea8
TN: TA22-017
|
2020-10-22 16:17:12 +02:00 |
|
Pierre-Marie de Rodat
|
0b8b313621
|
Testsuite: add an option not to update PYTHONPATH for gnatdbg
TN: Q106-021
|
2017-07-03 17:44:53 +02:00 |
|
Pierre-Marie de Rodat
|
a572428c58
|
Testsuite: add code coverage computation for gnatdbg
TN: Q106-021
|
2017-07-01 22:24:14 +02:00 |
|
Pierre-Marie de Rodat
|
07712d4271
|
Add a minimal testsuite
TN: O106-021
|
2017-07-01 21:33:15 +02:00 |
|