diff options
| author | Enrico Tassi | 2014-11-27 17:00:37 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-11-27 17:00:37 +0100 |
| commit | 7008576175028838d5d7ba899dbc44d04e2d23c1 (patch) | |
| tree | ecd6b7cfb987a08eb3a4f787b4960286b9b53a07 /dev | |
| parent | dae04b0020cde500fed6394b608555cad9fdb60e (diff) | |
STM: hook called whenever a state is unreachable
Even indirectly, if it depends on another state that in turn failed.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions