From 4099b36caa990fa7a137a27bd5ad911aac4542de Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Thu, 13 Apr 2017 14:18:36 +0200 Subject: allow --trace-filter with trailing $ ("no more transitions after this") --- lib/Kratos/DFADriver/DFA.pm | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib/Kratos/DFADriver/DFA.pm') 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 ); -- cgit v1.2.3