From nobody Mon Feb 9 06:25:28 2026 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 8B12E41B352 for ; Wed, 4 Feb 2026 14:54:35 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=170.10.133.124 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1770216875; cv=none; b=uNmh8deocI0P+6D9KM0BIbIU3jCQxj0ulWBxvHwJuWWAIHfaqdBo3shBFTi/dUZaEhj7Ulb/DBsc50erjVMvx1x2nKliEckGPKUIM47S4RNi4nPCUAGm9kiSeTm4rntu4Lh90rAnYp1ALnFHFPONns18fxmZRebkxNA6akHQMoY= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1770216875; c=relaxed/simple; bh=+ffhunU6OovmpNadMKHHv6k31yBcnO46ZwFSJGigcH8=; h=From:To:Subject:Date:Message-ID:In-Reply-To:References: MIME-Version; b=pkJFA2P6EDneduKtRAR6ZU42uYmVLQa/ij3U63TuSCp0yu8eGKBKfFslAsWr4hyheO/OwQ99/LyAGuvm5FobrIShAFAA7wnTz0AQEFfvr8vjpenoqIO5IvTgKStNyjIfgwk1oJDEXAnn+viAkEWSCRXwdbqk8+jJSOhVXuuxzF0= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com; spf=pass smtp.mailfrom=redhat.com; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b=ADpGZaS/; arc=none smtp.client-ip=170.10.133.124 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=redhat.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b="ADpGZaS/" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1770216874; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=23hZsiknSb9Xi6KPa+kRsw/9VzcEStpN4mBV0Kd68lM=; b=ADpGZaS/imrmX0BS4EFyZekN+0zstD1wIN7rghksIvcREv030bPP5uct8sabv0tQpYOwDs Gt8MeknpwNQZ/zSny7oUTPbyPX5ZPBpUw9vLVJEQgYklOaYC7yG3qhJ9ITqkmhK3nAsvKB 5C80CiQ8Xaag9bL7wUxC+3LHFKMmHtE= Received: from mx-prod-mc-01.mail-002.prod.us-west-2.aws.redhat.com (ec2-54-186-198-63.us-west-2.compute.amazonaws.com [54.186.198.63]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-672-IheHmhcTONmdqyUNaipxfg-1; Wed, 04 Feb 2026 09:54:32 -0500 X-MC-Unique: IheHmhcTONmdqyUNaipxfg-1 X-Mimecast-MFC-AGG-ID: IheHmhcTONmdqyUNaipxfg_1770216871 Received: from mx-prod-int-01.mail-002.prod.us-west-2.aws.redhat.com (mx-prod-int-01.mail-002.prod.us-west-2.aws.redhat.com [10.30.177.4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mx-prod-mc-01.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTPS id 1A15319560A5; Wed, 4 Feb 2026 14:54:31 +0000 (UTC) Received: from fedora.redhat.com (unknown [10.22.88.140]) by mx-prod-int-01.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTP id 97FE130001A5; Wed, 4 Feb 2026 14:54:28 +0000 (UTC) From: Wander Lairson Costa To: Steven Rostedt , Gabriele Monaco , Nam Cao , Wander Lairson Costa , linux-trace-kernel@vger.kernel.org (open list:RUNTIME VERIFICATION (RV)), linux-kernel@vger.kernel.org (open list) Subject: [PATCH v2 14/20] rv/rvgen: make monitor arguments required in rvgen Date: Wed, 4 Feb 2026 11:42:40 -0300 Message-ID: <20260204144914.104028-15-wander@redhat.com> In-Reply-To: <20260204144914.104028-1-wander@redhat.com> References: <20260204144914.104028-1-wander@redhat.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-Scanned-By: MIMEDefang 3.4.1 on 10.30.177.4 Content-Type: text/plain; charset="utf-8" Add required=3DTrue to the monitor subcommand arguments for class, spec, and monitor_type in rvgen. These arguments are essential for monitor generation and attempting to run without them would cause AttributeError exceptions later in the code when the script tries to access them. Making these arguments explicitly required provides clearer error messages to users at parse time rather than cryptic exceptions during execution. This improves the user experience by catching missing arguments early with helpful usage information. Signed-off-by: Wander Lairson Costa Reviewed-by: Gabriele Monaco Reviewed-by: Nam Cao --- tools/verification/rvgen/__main__.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/tools/verification/rvgen/__main__.py b/tools/verification/rvge= n/__main__.py index 50b7d4227fb16..c4c795c15e853 100644 --- a/tools/verification/rvgen/__main__.py +++ b/tools/verification/rvgen/__main__.py @@ -32,10 +32,11 @@ if __name__ =3D=3D '__main__': monitor_parser.add_argument('-n', "--model_name", dest=3D"model_name") monitor_parser.add_argument("-p", "--parent", dest=3D"parent", required=3DFalse, help=3D"Create a monitor= nested to parent") - monitor_parser.add_argument('-c', "--class", dest=3D"monitor_class", + monitor_parser.add_argument('-c', "--class", dest=3D"monitor_class", r= equired=3DTrue, help=3D"Monitor class, either \"da\" or \"= ltl\"") - monitor_parser.add_argument('-s', "--spec", dest=3D"spec", help=3D"Mon= itor specification file") - monitor_parser.add_argument('-t', "--monitor_type", dest=3D"monitor_ty= pe", + monitor_parser.add_argument('-s', "--spec", dest=3D"spec", required=3D= True, + help=3D"Monitor specification file") + monitor_parser.add_argument('-t', "--monitor_type", dest=3D"monitor_ty= pe", required=3DTrue, help=3Df"Available options: {', '.join(Mon= itor.monitor_types.keys())}") =20 container_parser =3D subparsers.add_parser("container") --=20 2.52.0