From nobody Mon Dec 2 14:20:49 2024 Delivered-To: importer@patchew.org Received-SPF: pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Authentication-Results: mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=pass(p=none dis=none) header.from=bugseng.com ARC-Seal: i=1; a=rsa-sha256; t=1730196344; cv=none; d=zohomail.com; s=zohoarc; b=H3ue5IluFXHK/8ao26QOq2x+bHMSJDOpJ9iChnR/NdpXRaEutcuD0pWxXnhL2RGVKNrjVoyT6pB3T5l+BBYRFT03AhAJAMOwa/SzC2f13G43rETAs+8f4fokpWafSXHw7DhTf1JUMMAFlsg5O9igr75sBMhCM/Yl9pKERhKV0gA= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1730196344; h=Content-Transfer-Encoding:Cc:Cc:Date:Date:From:From:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:Sender:Subject:Subject:To:To:Message-Id:Reply-To; bh=gzC1A42cvnc2SFT7wuQpk3XY7tny8F3MhJcWBq7emrs=; b=mEHC9/Li2Ad/XOLeIHEuZ0gdqgHsSvbwDUJDI7GVf+M5xrGf257VPAuuUN/j5zv57yL8i1+l5cSbXPOpsGkJMEn4tww1dH5osUdnVZi6kPhAGAb2CZ1JrfZQEyVzS69WQODNMVAkwuxU+o690oxSlbf0ZgXhD+wtdnlFmailxo0= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass; spf=pass (zohomail.com: domain of lists.xenproject.org designates 192.237.175.120 as permitted sender) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=pass header.from= (p=none dis=none) Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1730196344058293.5055533906369; Tue, 29 Oct 2024 03:05:44 -0700 (PDT) Received: from list by lists.xenproject.org with outflank-mailman.827199.1241739 (Exim 4.92) (envelope-from ) id 1t5j6F-0002iU-Ux; Tue, 29 Oct 2024 10:05:19 +0000 Received: by outflank-mailman (output) from mailman id 827199.1241739; Tue, 29 Oct 2024 10:05:19 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1t5j6F-0002iN-Rj; Tue, 29 Oct 2024 10:05:19 +0000 Received: by outflank-mailman (input) for mailman id 827199; Tue, 29 Oct 2024 10:05:18 +0000 Received: from se1-gles-sth1-in.inumbo.com ([159.253.27.254] helo=se1-gles-sth1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1t5j6E-0002iF-HY for xen-devel@lists.xenproject.org; Tue, 29 Oct 2024 10:05:18 +0000 Received: from support.bugseng.com (mail.bugseng.com [162.55.131.47]) by se1-gles-sth1.inumbo.com (Halon) with ESMTPS id 4c23a680-95dd-11ef-a0c3-8be0dac302b0; Tue, 29 Oct 2024 11:05:17 +0100 (CET) Received: from truciolo.bugseng.com (unknown [78.209.134.168]) by support.bugseng.com (Postfix) with ESMTPSA id C5E004EE074E; Tue, 29 Oct 2024 11:05:15 +0100 (CET) X-Outflank-Mailman: Message body and most headers restored to incoming version X-BeenThere: xen-devel@lists.xenproject.org List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Precedence: list Sender: "Xen-devel" X-Inumbo-ID: 4c23a680-95dd-11ef-a0c3-8be0dac302b0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=bugseng.com; s=mail; t=1730196316; bh=wRYHOgPPtTt/Og4v5KLi4jNOtEDDhTloZVW3e84WLG8=; h=From:To:Cc:Subject:Date:From; b=O/twVt8vOlQDCPhA7pxRMGpEtuJmEgNI2IhgVrtdt3hGXXZuXbYMhK3HCrMtRRsFs 6aRMnU76fYsU5kYYoc5SWwvOdSmdO4HR5eX4p+B84rzRIb4vmFiynKMwiWF8+kW8Fx 2tdlpIM2miMLnvbgMo9MtMCqsDfzz+LIxfbp0sEt4OtpcqsvWomfNuj2/wHE7Wnz95 9lLEX42ozX4fl8v9DwE/2ZBR3yaBBaWYUmFpe8egCeYt/cyJegY2ELvt4xdDZQiA3n Q4lwUMkKT+FkJQIxXk5GcLmNn479W4J/cJ/fQiBO8RTZCshqiLkgQN5wLZDb3VJmh6 fjVctTUpOWiyQ== From: Federico Serafini To: xen-devel@lists.xenproject.org Cc: consulting@bugseng.com, Federico Serafini , Simone Ballarin , Doug Goldstein , Stefano Stabellini Subject: [XEN PATCH] automation/eclair: monitor Rules 11.2 and 18.1 and update configuration Date: Tue, 29 Oct 2024 11:05:00 +0100 Message-ID: X-Mailer: git-send-email 2.43.0 MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-ZohoMail-DKIM: pass (identity @bugseng.com) X-ZM-MESSAGEID: 1730196345191116600 Content-Type: text/plain; charset="utf-8" Add Rule 11.2 and Rule 18.1 to the monitored set. Tag Rule 7.3 as clean. Tag Rule 11.2 and Rule 20.7 as clean only for arm. Rule 2.2, Rule 9.5 and Directive 4.12 are not accepted: do not enable them and do not tag them as clean. Signed-off-by: Federico Serafini Reviewed-by: Stefano Stabellini --- automation/eclair_analysis/ECLAIR/monitored.ecl | 5 ++--- automation/eclair_analysis/ECLAIR/tagging.ecl | 7 +++---- 2 files changed, 5 insertions(+), 7 deletions(-) diff --git a/automation/eclair_analysis/ECLAIR/monitored.ecl b/automation/e= clair_analysis/ECLAIR/monitored.ecl index 4d9ef1bd83..4e1deef7a7 100644 --- a/automation/eclair_analysis/ECLAIR/monitored.ecl +++ b/automation/eclair_analysis/ECLAIR/monitored.ecl @@ -6,13 +6,11 @@ -enable=3DMC3R1.D4.7 -enable=3DMC3R1.D4.10 -enable=3DMC3R1.D4.11 --enable=3DMC3R1.D4.12 -enable=3DMC3R1.D4.14 -enable=3DMC3R1.R1.1 -enable=3DMC3R1.R1.3 -enable=3DMC3R1.R1.4 -enable=3DMC3R1.R2.1 --enable=3DMC3R1.R2.2 -enable=3DMC3R1.R2.6 -enable=3DMC3R1.R3.1 -enable=3DMC3R1.R3.2 @@ -43,10 +41,10 @@ -enable=3DMC3R1.R9.2 -enable=3DMC3R1.R9.3 -enable=3DMC3R1.R9.4 --enable=3DMC3R1.R9.5 -enable=3DMC3R1.R10.1 -enable=3DMC3R1.R10.2 -enable=3DMC3R1.R11.1 +-enable=3DMC3R1.R11.2 -enable=3DMC3R1.R11.7 -enable=3DMC3R1.R11.8 -enable=3DMC3R1.R11.9 @@ -66,6 +64,7 @@ -enable=3DMC3R1.R17.4 -enable=3DMC3R1.R17.5 -enable=3DMC3R1.R17.6 +-enable=3DMC3R1.R18.1 -enable=3DMC3R1.R18.2 -enable=3DMC3R1.R18.6 -enable=3DMC3R1.R18.8 diff --git a/automation/eclair_analysis/ECLAIR/tagging.ecl b/automation/ecl= air_analysis/ECLAIR/tagging.ecl index 76032b1fe1..e1d4ed012a 100644 --- a/automation/eclair_analysis/ECLAIR/tagging.ecl +++ b/automation/eclair_analysis/ECLAIR/tagging.ecl @@ -28,7 +28,6 @@ MC3R1.D4.14|| MC3R1.R1.1|| MC3R1.R1.3|| MC3R1.R1.4|| -MC3R1.R2.2|| MC3R1.R2.6|| MC3R1.R3.1|| MC3R1.R3.2|| @@ -42,6 +41,7 @@ MC3R1.R6.1|| MC3R1.R6.2|| MC3R1.R7.1|| MC3R1.R7.2|| +MC3R1.R7.3|| MC3R1.R7.4|| MC3R1.R8.1|| MC3R1.R8.2|| @@ -54,7 +54,6 @@ MC3R1.R8.14|| MC3R1.R9.2|| MC3R1.R9.3|| MC3R1.R9.4|| -MC3R1.R9.5|| MC3R1.R10.2|| MC3R1.R11.6|| MC3R1.R11.7|| @@ -109,11 +108,11 @@ MC3R1.R22.10" -setq=3Dtarget,getenv("XEN_TARGET_ARCH") =20 if(string_equal(target,"x86_64"), - service_selector({"additional_clean_guidelines","MC3R1.D4.3"}) + service_selector({"additional_clean_guidelines","none()"}) ) =20 if(string_equal(target,"arm64"), - service_selector({"additional_clean_guidelines","MC3R1.R2.1||MC3R1.R5.= 3||MC3R1.R7.3||MC3R1.R16.3||MC3R1.R16.6"}) + service_selector({"additional_clean_guidelines","MC3R1.R2.1||MC3R1.R5.= 3||MC3.R11.2||MC3R1.R16.3||MC3R1.R16.6||MC3R1.R20.7"}) ) =20 -reports+=3D{clean:added,"service(clean_guidelines_common||additional_clea= n_guidelines)"} --=20 2.43.0