diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2017-04-13 14:18:36 +0200 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2017-04-13 14:18:36 +0200 |
| commit | 4099b36caa990fa7a137a27bd5ad911aac4542de (patch) | |
| tree | 791aeda1dece20e8d9e821a2d5346f8c92405bb4 /lib/Kratos/DFADriver/DFA.pm | |
| parent | 3508f7a928d7489cb6d199bd88fb77df4b308887 (diff) | |
allow --trace-filter with trailing $ ("no more transitions after this")
Diffstat (limited to 'lib/Kratos/DFADriver/DFA.pm')
| -rw-r--r-- | lib/Kratos/DFADriver/DFA.pm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Kratos/DFADriver/DFA.pm b/lib/Kratos/DFADriver/DFA.pm index ef834e0..ec52c4d 100644 --- a/lib/Kratos/DFADriver/DFA.pm +++ b/lib/Kratos/DFADriver/DFA.pm @@ -124,6 +124,10 @@ sub traces { $re =~ s{,}{![^:]*:}g; $re =~ s{$}{![^:]*)}; $re =~ s{^}{(^}; + if ($re =~ m{ \$ }x) { + $re =~ s{\$}{}; + $re =~ s{\)$}{\$)}; + } push( @res, $re ); } $filter_re = join( q{|}, @res ); |