summaryrefslogtreecommitdiffstats
path: root/spec/rtems/barrier/req/delete.yml
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-03-19 08:58:11 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-03-19 10:53:26 +0100
commit4481ff1ad9f2d5fa2eae803e848b6d480496d7c7 (patch)
tree93348513af50068dc96aaeee5eeb265204b32577 /spec/rtems/barrier/req/delete.yml
parentvalidation: Avoid duplicated variants (diff)
downloadrtems-central-4481ff1ad9f2d5fa2eae803e848b6d480496d7c7.tar.bz2
validation: Optimize transition map
Further reduce the source code and read-only data size through one level of indirection.
Diffstat (limited to 'spec/rtems/barrier/req/delete.yml')
0 files changed, 0 insertions, 0 deletions