From 5d6df07b26b1662be4de39bc5214eecfc43905b4 Mon Sep 17 00:00:00 2001
From: nadime15 <nadime@riscv.org>
Date: Wed, 12 Feb 2025 15:30:25 -0500
Subject: [PATCH] Add Ext_Zcmp to extensionEnabled_measure

---
 model/riscv_termination.sail | 1 +
 1 file changed, 1 insertion(+)

diff --git a/model/riscv_termination.sail b/model/riscv_termination.sail
index 6ea3a0acb..0e3de464f 100644
--- a/model/riscv_termination.sail
+++ b/model/riscv_termination.sail
@@ -56,6 +56,7 @@ function extensionEnabled_measure(ext : extension) -> int =
     Ext_Zcb => 2, // Ext_Zca
     Ext_Zcd => 2, // Ext_Zca, (Ext_D)
     Ext_Zcf => 2, // Ext_Zca, (Ext_F)
+    Ext_Zcmp => 2, // Ext_Zca
     _ => 0
   }
 termination_measure extensionEnabled(ext) = extensionEnabled_measure(ext)