From nobody Sun Feb 8 17:42:53 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 EF6C250096D for ; Mon, 19 Jan 2026 21:02:49 +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=1768856571; cv=none; b=aZu6Uavj+bdWNan+gHxu6PH1tApPurjX9Fvl6ZcKIgYHFgO96VUPZUzeywto+nHRCGo6RSqnpl0VSt+ByP7se18c3/5uZAS/NVCQVWxNkMNFqBrWaezi/0LKtU/+WaihP6dRMyMNP2w9WhHctrjLDSdZhovaCDa1P6YjCL1RbG0= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1768856571; c=relaxed/simple; bh=MWKRrN0Rehb4ipv99vA6QFypK3/oOBFrT3rJbmagcRw=; h=From:To:Subject:Date:Message-ID:In-Reply-To:References: MIME-Version; b=oyRNoRI9BilHG77k4jpPRODhIYlZUlp4uB3hLGEUfypNKHLMr+Es8sAI14aw9UOlfI0Cy4QZ76mShZX0uiWsRHKd83THbo1L12S9Fn285dZYqd50KNMaerAo/clj4i7yhXaAd82pHa1hiLNI+r0LkmhSkVJmTslFCn7pw7J3aeA= 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=E5G4yDPh; 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="E5G4yDPh" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1768856569; 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=KSwc3LNix1F915NPLbGd4d4ei3SN/jCoSbkqD7jEgyY=; b=E5G4yDPhf5gvMm7w+DylTFoHpOEqpwtQ54KONmp0xeLJmLe4KEdYgvEVlCKcOA5/5DagbD LYFJMeCKkU4ChwQ2GC/FJfH0lnSAln64Qm/ogW9oiHwfrt8qofk6T046v+mpd/sH20QXMb p6p1FpEpnoghG33L+to+SVLdR+utI+M= Received: from mx-prod-mc-05.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-658-XNpoyFmMNOOdM6c9gkUMKw-1; Mon, 19 Jan 2026 16:02:44 -0500 X-MC-Unique: XNpoyFmMNOOdM6c9gkUMKw-1 X-Mimecast-MFC-AGG-ID: XNpoyFmMNOOdM6c9gkUMKw_1768856563 Received: from mx-prod-int-05.mail-002.prod.us-west-2.aws.redhat.com (mx-prod-int-05.mail-002.prod.us-west-2.aws.redhat.com [10.30.177.17]) (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-05.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTPS id E70E91956088; Mon, 19 Jan 2026 21:02:42 +0000 (UTC) Received: from fedora.redhat.com (unknown [10.22.80.137]) by mx-prod-int-05.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTP id 6C18A19560AB; Mon, 19 Jan 2026 21:02:40 +0000 (UTC) From: Wander Lairson Costa To: Steven Rostedt , Gabriele Monaco , Nam Cao , Wander Lairson Costa , linux-kernel@vger.kernel.org (open list), linux-trace-kernel@vger.kernel.org (open list:RUNTIME VERIFICATION (RV)) Subject: [PATCH 10/26] rv/rvgen: fix typos in automata docstring and comments Date: Mon, 19 Jan 2026 17:45:46 -0300 Message-ID: <20260119205601.105821-11-wander@redhat.com> In-Reply-To: <20260119205601.105821-1-wander@redhat.com> References: <20260119205601.105821-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.0 on 10.30.177.17 Content-Type: text/plain; charset="utf-8" Fix two typos in the Automata class documentation that have been present since the initial implementation. The class docstring incorrectly stated "part it" instead of "parses it" when describing how the class processes DOT files. Additionally, a comment describing transition labels contained the misspelling "lables" instead of "labels". Fix a typo in the comment describing the insertion of the initial state into the states list: "bein og" should be "beginning of". Signed-off-by: Wander Lairson Costa Reviewed-by: Nam Cao --- tools/verification/rvgen/rvgen/automata.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/verification/rvgen/rvgen/automata.py b/tools/verificatio= n/rvgen/rvgen/automata.py index 70ff98abea751..c0c8d13030007 100644 --- a/tools/verification/rvgen/rvgen/automata.py +++ b/tools/verification/rvgen/rvgen/automata.py @@ -18,7 +18,7 @@ class AutomataError(OSError): """ =20 class Automata: - """Automata class: Reads a dot file and part it as an automata. + """Automata class: Reads a dot file and parses it as an automata. =20 Attributes: dot_file: A dot file with an state_automaton definition. @@ -113,7 +113,7 @@ class Automata: states =3D sorted(set(states)) states.remove(initial_state) =20 - # Insert the initial state at the bein og the states + # Insert the initial state at the beginning of the states states.insert(0, initial_state) =20 if not has_final_states: @@ -134,7 +134,7 @@ class Automata: line =3D self.__dot_lines[cursor].split() event =3D line[-2].replace('"','') =20 - # when a transition has more than one lables, they are lik= e this + # when a transition has more than one labels, they are lik= e this # "local_irq_enable\nhw_local_irq_enable_n" # so split them. =20 --=20 2.52.0