diff options
| author | Neels Hofmeyr <neels@hofmeyr.de> | 2018-03-26 14:59:18 +0200 |
|---|---|---|
| committer | Neels Hofmeyr <neels@hofmeyr.de> | 2018-03-26 15:04:18 +0200 |
| commit | 338d17439973a7f2f54efc75bb8d40f6b9b8ff40 (patch) | |
| tree | e9e69b4b3c3fc83f9c8e654608afc3c6a644ea36 /contrib/jenkins_common.sh | |
| parent | ec0f334e995a72aab78cb0fc839b67c7b961b336 (diff) | |
contrib/fsm-to-dot: mark illegal states in red
If an FSM transitions to a state that actually belongs to a different FSM,
print an error and mark it red, instead of exiting with exception.
Change-Id: I73d95a0c65ca1ea586ad55234610671a53d6220f
Diffstat (limited to 'contrib/jenkins_common.sh')
0 files changed, 0 insertions, 0 deletions