diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2017-04-21 14:15:14 +0200 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2017-04-21 14:15:14 +0200 |
| commit | bc0bd155d03a8108badd441f8756739565fe300a (patch) | |
| tree | d9621cb479402d65c514bfc9894f32ce8908dd7f /lib/Kratos/DFADriver/DFA.pm | |
| parent | f79cec3648491e7d178b372bcc1beaea9baaadef (diff) | |
allow setting static params via LUT
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( |