Files
Kévin Le Gouguec f743364a5e errcon: Change XFAIL to OUT for ppc-linux
We can reproduce the testcase's results on this platform without AWS nor
GNAT.  With this sample C program:

  #include <errno.h>
  #include <stdio.h>
  #include <string.h>

  #include <sys/types.h>
  #include <sys/socket.h>
  #include <netdb.h>

  int main()
  {
    struct addrinfo hints = {
      .ai_family = AF_UNSPEC,
      .ai_socktype = SOCK_STREAM,
      .ai_flags = 0,
      .ai_protocol = 0
    };

    struct addrinfo *result;
    int gai_rc
      = getaddrinfo ("no-way.to-have.such-address", "10123", &hints, &result);
    int gai_errno = errno;

    if (gai_rc != 0)
      {
        fprintf(stderr, "getaddrinfo failed: %s\n", gai_strerror (gai_rc));

        if (gai_rc == EAI_SYSTEM)
          fprintf(stderr, "errno: %s\n", strerror (gai_errno));

        return 1;
      }

    freeaddrinfo (result);

    return 0;
  }

We get:

    getaddrinfo failed: System error
    errno: Device or resource busy

So change the expected output for this platform.

TN: eng/toolchain/aws#2
(cherry picked from commit 55ccb0147e)
2023-11-14 10:08:51 +01:00
..
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2012-02-24 09:42:42 +07:00
2012-01-03 18:55:45 +01:00
2012-02-10 12:20:14 +07:00
2012-02-10 12:20:14 +07:00
2012-02-10 12:20:14 +07:00
2012-01-03 18:55:45 +01:00
2012-02-09 18:30:33 +07:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2012-02-10 18:30:56 +07:00
2012-02-24 09:42:42 +07:00
2012-02-10 12:20:14 +07:00
2012-01-03 18:55:45 +01:00
2012-02-24 08:57:48 +07:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2015-01-18 10:14:05 +01:00
2017-01-24 17:58:24 +01:00
2012-01-03 18:55:45 +01:00
2012-02-11 03:23:46 +07:00
2012-02-27 00:39:36 +07:00
2023-07-17 12:35:26 +00:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2021-11-16 17:13:01 +06:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2023-07-17 12:35:26 +00:00
2023-07-17 12:35:26 +00:00
2021-10-16 18:47:37 +02:00
2012-02-16 01:20:48 +07:00
2012-01-03 18:55:45 +01:00
2012-02-15 17:55:31 +07:00
2012-02-15 17:55:31 +07:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2023-07-17 12:35:26 +00:00
2021-11-06 14:41:30 +06:00
2012-02-14 01:09:39 +07:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2012-02-11 03:23:46 +07:00
2012-02-11 03:23:46 +07:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2012-01-03 18:55:45 +01:00
2014-06-07 18:04:31 +02:00
2019-01-23 17:53:54 +01:00
2023-07-17 12:35:26 +00:00
2023-07-17 12:35:26 +00:00
2023-07-17 12:35:26 +00:00
2023-07-17 12:35:26 +00:00
2016-09-28 21:14:26 +06:00
2017-02-09 19:48:28 +01:00
2021-11-06 14:41:30 +06:00
2020-12-15 21:27:56 +06:00
2023-06-12 07:37:53 +00:00
2023-07-17 12:35:26 +00:00
2012-01-03 18:55:45 +01:00
2023-07-17 12:35:26 +00:00
2012-01-03 18:55:45 +01:00
2023-07-17 12:35:26 +00:00
2023-07-17 12:35:26 +00:00

AWS Testsuite

To run it you need to have Python installed along with the package e3-testsuite.

Note there is a dependency on an internal tool called pycross for cross platforms only. This is a work in progress and access to the dependency may be revised soon.

To install e3-testsuite:

pip install git+https://github.com/AdaCore/e3-testsuite.git

You will also need a GNAT in your path.

Before running the testsuite, you need to run 'make setup' in AWS root directory.

To run the testsuite with N jobs in parallel run:

./testsuite.py -j N

All results are stored in the 'out' directory by default.

To run only the 0001_turl tests:

./testsuite.py -j N 0001_turl

All the result and logs are store in the out/new directory by default.

See ./testsuite.py -h for more help

How to add a new test

To add a new test, create a new directory xxx_name with a test.py and a test.out

The test.py should start with:

"from test_support import *"

then you can use all test_support.py functions.