RTOS/rtems
1
0
Fork 0
forked from Imagelibrary/rtems
Code Pull Requests Activity

validation: Test semaphore operations

Browse Source 
The test source code is generated from specification items
by the "./spec2modules.py" script contained in the
git://git.rtems.org/rtems-central.git Git repository.

Please read the "How-To" section in the "Software Requirements Engineering"
chapter of the RTEMS Software Engineering manual to get more information about
the process.

Update #3716.
This commit is contained in:
Sebastian Huber
2021-12-09 16:05:09 +01:00
parent 7db4c14b9e
commit a6b4a3b07c
7 changed files with 1612 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
spec/build/testsuites/validation/validation-no-clock-0.yml
View File

@@ -12,6 +12,9 @@ ldflags: []
links: []
source:
- testsuites/validation/tc-score-fatal.c
- testsuites/validation/tr-sem-seize-try.c
- testsuites/validation/tr-sem-seize-wait.c
- testsuites/validation/tr-sem-surrender.c
- testsuites/validation/tr-tq-enqueue-ceiling.c
- testsuites/validation/tr-tq-enqueue-deadlock.c
- testsuites/validation/tr-tq-enqueue-fifo.c