diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/model.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/model.py b/lib/model.py index 1c0ee01..5844113 100644 --- a/lib/model.py +++ b/lib/model.py @@ -1101,7 +1101,12 @@ class PTAModel(AnalyticModel): for origin, destination in self.get_transition_states_from_traces( transition ): - pta.add_transition(origin, destination, transition) + try: + pta.add_transition(origin, destination, transition) + except KeyError as e: + logger.warning( + f"to_json: Missing transition ({e}). Note that --filter-observation is incompatible with JSON export." + ) pta.update( param_info, static_error=static_quality, function_error=analytic_quality ) |