From 75e3ec9a33bdb1f94603e0710aa4045580a5c742 Mon Sep 17 00:00:00 2001 From: Yongwei Yuan Date: Thu, 25 Jan 2024 17:03:37 -0500 Subject: [PATCH] fix printing of bottom literal --- srlexec/literal.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/srlexec/literal.ml b/srlexec/literal.ml index c56afc0..ff73c41 100644 --- 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 ->