modify greaterthan

sireum · Mar 4, 2025 · d8af58c · d8af58c
1 parent 7f6472b
commit d8af58c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/shared/src/main/scala/org/sireum/anvil/HwSynthesizer.scala b/shared/src/main/scala/org/sireum/anvil/HwSynthesizer.scala
@@ -462,7 +462,7 @@ object TmpWireCount {
             exprST = st"(${leftST.render} <= ${rightST.render}).asUInt"
           }
           case AST.IR.Exp.Binary.Op.Gt => {
-            exprST = st"(${leftST.render} < ${rightST.render}).asUInt"
+            exprST = st"(${leftST.render} > ${rightST.render}).asUInt"
           }
           case AST.IR.Exp.Binary.Op.Le => {
             exprST = st"(${leftST.render} <= ${rightST.render}).asUInt"