mirror of
https://github.com/nasa/trick.git
synced 2025-02-02 17:21:08 +00:00
4de4bf0692
If there were bad runs, the master will now exit with a non-zero status.