Sebastian Huber
410317ae3a
validation: Add INVALID_ID to tx-support.h
2021-05-14 08:50:10 +02:00
Sebastian Huber
9f727f9379
validation: Fix handling of N/A pre-conditions
...
In the action requirements, some pre-conditions are not applicable
depending on the state of other pre-conditions. There is no particular
order in the pre-conditions, so we have to check the N/A status
individually.
2021-05-07 07:44:07 +02:00
Sebastian Huber
03747b5087
rtems: Check for NULL config in msgq construct
...
Since there are already excessive NULL pointer checks in the Classic
API, do this also in rtems_message_queue_construct().
Update #4007 .
2021-04-23 08:23:59 +02:00
Sebastian Huber
fa1e7ea054
validation: Reduce source code/rodata size
...
Use a common wording for the tests. Use the new templates for action
requirements described in the RTEMS Software Engineering manual.
2021-03-19 16:55:48 +01:00
Sebastian Huber
586e06ec62
validation: Improve wording
2021-03-11 21:59:52 +01:00
Sebastian Huber
bfd1b6eef3
validation: Use common wording
2021-03-11 07:58:19 +01:00
Sebastian Huber
1ce127e9df
validation: Use common wording
2021-03-05 21:19:54 +01:00
Sebastian Huber
8fe59be236
validation: Fix for 64-bit targets
...
Closes #4179 .
2021-03-04 09:08:03 +01:00
Sebastian Huber
c0c4b8b8b5
validation: Format comment blocks
2021-03-02 07:56:15 +01:00
Sebastian Huber
81fcf16ae6
validation: Add comments to message queue tests
...
Split up post-condition.
2021-03-01 10:12:26 +01:00
Sebastian Huber
006c7020f4
validation: Simplify message queue construct tests
2021-02-24 09:22:36 +01:00
Sebastian Huber
fafc923044
validation: Tweak construct error tests
...
Unify the state names across tests and make sure the state names have a
similar length.
2021-02-08 08:44:14 +01:00
Sebastian Huber
a6689fb147
Improve file header comment in generated files
2021-01-25 06:49:27 +01:00
Sebastian Huber
ced1302208
Improve automatically generated warning
2020-11-12 08:54:59 +01:00
Sebastian Huber
69a35fb925
validation: Improve file header comment
2020-10-08 13:43:39 +02:00
Sebastian Huber
71689a0775
rtems: Canonicalize name and id checks
...
Check the name followed by the id check in all create directives.
Compare pointers against NULL. Fix formatting.
2020-10-01 18:05:58 +02:00
Sebastian Huber
febc66048a
validation: Test rtems_message_queue_construct()
...
Update #4007 .
2020-09-28 07:16:04 +02:00
