search

andrewbutterfield / RTEMS-SMP-Formal

Contains formal methods material developed for RTEMS SMP with support from ESA, and subsequent additions by student projects
3 stars 5 forks source link

make testbuilder program language agnostic #11

Closed andrewbutterfield closed 1 year ago

andrewbutterfield commented 1 year ago

Have language dependencies defined in a YAML file