Added step error handling + run all command

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

Closed GH-James closed 1 year ago

GH-James commented 1 year ago

Added step error handling + run all command Includes minor refactoring of testbuilder.py Closes #7 Closes #8