fix printing of bottom literal

yongweiy · May 13, 2024 · 75e3ec9 · 75e3ec9
1 parent c70f1b2
commit 75e3ec9
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/srlexec/literal.ml b/srlexec/literal.ml
@@ -35,7 +35,9 @@ let layout_literal { events; op_filter } =
   (* in *)
   (* if op_filter_str = "" then events_str else events_str ^ " | " ^ op_filter_str *)
   match op_filter with
-  | `Whitelist ops_include when List.is_empty ops_include -> events_str
+  | `Whitelist ops_include
+    when List.is_empty ops_include && List.is_empty events ->
+      "⊥"
   | `Whitelist ops_include -> String.concat " | " @@ (events_str :: ops_include)
   | `Blacklist ops_exclude
     when List.is_empty ops_exclude && List.is_empty events ->