diff options
Diffstat (limited to 'lib/Kratos/DFADriver/DFA.pm')
| -rw-r--r-- | lib/Kratos/DFADriver/DFA.pm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/Kratos/DFADriver/DFA.pm b/lib/Kratos/DFADriver/DFA.pm index db11a17..c17e054 100644 --- a/lib/Kratos/DFADriver/DFA.pm +++ b/lib/Kratos/DFADriver/DFA.pm @@ -143,6 +143,11 @@ sub run_str_to_trace { $self->model->update_parameter_hash( \%param, $cmd, @args ); ($state) = $dfa->successors( $state, ":${transition_str}" ); + + if (not defined $state) { + die("Transition $transition_str is invalid or has no successors\n"); + } + $prev_transition = $transition; for my $extra_cmd ( $self->model->get_state_extra_transitions( |