diff --git a/smt-annotations/src/main/scala/org/bitlap/tools/internal/elapsedMacro.scala b/smt-annotations/src/main/scala/org/bitlap/tools/internal/elapsedMacro.scala
index d8ddfb78d0270746803b3912af08988f0519b595..e937eedfddc10524619b2ad9efaa5c35fa1166c3 100644
--- a/smt-annotations/src/main/scala/org/bitlap/tools/internal/elapsedMacro.scala
+++ b/smt-annotations/src/main/scala/org/bitlap/tools/internal/elapsedMacro.scala
@@ -68,6 +68,11 @@ object elapsedMacro {
           case "info"  => getLog(classNameAndMethodName, q"${log.get}.info")
           case "debug" => getLog(classNameAndMethodName, q"${log.get}.debug")
           case "warn"  => getLog(classNameAndMethodName, q"${log.get}.warn")
+          case _ =>
+            c.abort(
+              c.enclosingPosition,
+              s"${extractOptions._2.toLowerCase} is not in the supported list: info,debug,warn"
+            )
         }
       }
     }
diff --git a/smt-annotations/src/main/scala/org/bitlap/tools/internal/logMacro.scala b/smt-annotations/src/main/scala/org/bitlap/tools/internal/logMacro.scala
index ae7afcba4f14fd7c6e5d1cd7007d03bfed454584..2c4cda95f456cc7c2580e2ee9f3299555486fa7f 100644
--- a/smt-annotations/src/main/scala/org/bitlap/tools/internal/logMacro.scala
+++ b/smt-annotations/src/main/scala/org/bitlap/tools/internal/logMacro.scala
@@ -44,10 +44,7 @@ object logMacro {
         evalTree(logType.asInstanceOf[Tree])
       case q"new log()" => LogType.JLog
       case _ =>
-        c.abort(
-          c.enclosingPosition,
-          s"${ErrorMessage.UNEXPECTED_PATTERN}, only support: ${LogType.values.mkString(",")}"
-        )
+        c.abort(c.enclosingPosition, s"${ErrorMessage.UNEXPECTED_PATTERN}")
     }
 
     private def logTree(annottees: Seq[c.universe.Expr[Any]]): c.universe.Tree = {
diff --git a/smt-annotations/src/main/scala/org/bitlap/tools/logs/LogType.scala b/smt-annotations/src/main/scala/org/bitlap/tools/logs/LogType.scala
index 744e92d609fc83b4b97238af714afe0ab048a893..79966d263d804d37c3bf19244e480e043c1d1ba7 100644
--- a/smt-annotations/src/main/scala/org/bitlap/tools/logs/LogType.scala
+++ b/smt-annotations/src/main/scala/org/bitlap/tools/logs/LogType.scala
@@ -47,6 +47,9 @@ object LogType {
   val values = types.keySet
 
   def getLogImpl(logType: String): BaseLog =
-    types.getOrElse(logType.toLowerCase, default = throw new Exception(s"Not support log type: $logType"))
+    types.getOrElse(
+      logType.toLowerCase,
+      default = throw new Exception(s"$logType is not in the supported list: ${values.mkString(",")}")
+    )
 
 }