diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2021-12-15 14:35:31 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-12-23 17:43:13 +0000 |
| commit | 799ab806509407f72249e6ef49fc44b185a3e81d (patch) | |
| tree | c95a60e940e687371f379c03447f6d5323218c18 /runtime | |
| parent | a38ee31b70101955f7360f1e077261daf43c3378 (diff) | |
| download | klee-799ab806509407f72249e6ef49fc44b185a3e81d.tar.gz | |
Introduce termination categories
Track all path terminations: esp. for debugging or visualising a persistent process tree (with or without full MoKlee integration) it is helpful to know the exact reason (StateTerminationType) why a path terminated.
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions