christoph/failnix
1
Fork 0
Code Releases Activity

Combine query filters instead of combining them

Browse Source
This commit is contained in:
christoph
2026-08-05 19:19:15 +02:00
parent 4a5ffbc9db
commit 54c28d703a
5 changed files with 23 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/Queries/Faults.pm
+5 -6
View File
@@ -11,11 +11,10 @@ use Filters;
use feature 'say';
sub query {
my ( $experiment, $experiment_dir, $filter_config_name ) = @_;
$filter_config_name //= '';
my ( $experiment, $experiment_dir, @filter_config_names ) = @_;
my $filters =
Filters::build_filter_clause( $experiment_dir, $filter_config_name );
Filters::build_filter_clause( $experiment_dir, @filter_config_names );
my $querystring = "SELECT
benchmark, resulttype, SUM(t.time2 - t.time1 + 1) AS faults,
@@ -43,9 +42,9 @@ ORDER BY benchmark, resulttype, SUM(t.time2 - t.time1 + 1) DESC;";
sub args { return "--batch --raw"; }
sub filename {
my ($filter_config_name) = @_;
$filter_config_name //= '';
my $suffix = length($filter_config_name) ? "_$filter_config_name" : "";
my @filter_config_names = grep { defined && length } @_;
my $suffix =
@filter_config_names ? "_" . join( "+", sort @filter_config_names ) : "";
return "faults${suffix}.csv";
}