Fix termination measure for currentlyEnabled

ineol · Timmmm · commit 8ff2a7070398 · 2025-04-27T22:21:46.000+01:00
diff --git a/model/riscv_termination.sail b/model/riscv_termination.sail
@@ -79,6 +79,8 @@ function currentlyEnabled_measure(ext : extension) -> int =
     Ext_Smcntrpmf => 1, // Ext_Zicntr
     Ext_Sscofpmf => 2, // Ext_Zihpm
     Ext_Zihpm => 1, // Ext_Zicntr
+    Ext_Zvknha => 1, // Ext_V
+    Ext_Zvknhb => 1, // Ext_V
     _ => 0
   }
 termination_measure currentlyEnabled(ext) = currentlyEnabled_measure(ext)

Original file line number	Diff line number	Diff line change
`@@ -79,6 +79,8 @@ function currentlyEnabled_measure(ext : extension) -> int =`
`79`	`79`	`Ext_Smcntrpmf => 1, // Ext_Zicntr`
`80`	`80`	`Ext_Sscofpmf => 2, // Ext_Zihpm`
`81`	`81`	`Ext_Zihpm => 1, // Ext_Zicntr`
	`82`	`+ Ext_Zvknha => 1, // Ext_V`
	`83`	`+ Ext_Zvknhb => 1, // Ext_V`
`82`	`84`	`_ => 0`
`83`	`85`	`}`
`84`	`86`	`termination_measure currentlyEnabled(ext) = currentlyEnabled_measure(ext)`