diff options
| author | Birte Kristina Friesel <birte.friesel@uos.de> | 2025-05-22 11:52:53 +0200 |
|---|---|---|
| committer | Birte Kristina Friesel <birte.friesel@uos.de> | 2025-05-22 11:52:53 +0200 |
| commit | 49b81d70eb1fc5c954efc129144952b4ba209c94 (patch) | |
| tree | 15d4d12533a48549e7b112246047524faa1f7196 /lib/pubcode | |
| parent | aca042bf6ac5cd8410b108e4397ae4c10ff67427 (diff) | |
analyze-trace: warn when encountering unexpected transition destination modelmain
Diffstat (limited to 'lib/pubcode')
0 files changed, 0 insertions, 0 deletions