Hello,
I checked in an updated version of the patch set. You find the new files
here:
https://github.com/RTEMS/rtems-central/tree/master/formal
There is some work in progress to make the test code generation from the
model files a bit easier. Once this work is done we could try to add it
to the Github workflow.
The next step is to continue with the integration of the related
documentation into the RTEMS Software Engineering manual:
https://lists.rtems.org/pipermail/devel/2022-November/073765.html
Kind regards,
Sebastian
--
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.hu...@embedded-brains.de
phone: +49-89-18 94 741 - 16
fax: +49-89-18 94 741 - 08
Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
