source: rtems-central/formal/promela/models/chains/.gitignore @ 87c48b3

Last change on this file since 87c48b3 was 87c48b3, checked in by Andrew Butterfield <Andrew.Butterfield@…>, on 01/10/23 at 19:47:09

Chains API model and test gen material

  • Property mode set to 100644
File size: 24 bytes
Line 
1tr-model-chains-api-*.c
Note: See TracBrowser for help on using the repository browser.