From 018166e8f3678b9cd136a6db48483de6c9bd7251 Mon Sep 17 00:00:00 2001 From: Karoliine Holter <44437975+karoliineh@users.noreply.github.com> Date: Mon, 29 Jan 2024 12:43:20 +0200 Subject: [PATCH] rename log* -> c_log* Co-authored-by: Simmo Saan --- src/domains/intDomainProperties.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/domains/intDomainProperties.ml b/src/domains/intDomainProperties.ml index 8757a16c0d..2de416ff26 100644 --- a/src/domains/intDomainProperties.ml +++ b/src/domains/intDomainProperties.ml @@ -145,9 +145,9 @@ struct let valid_shift_left = make_valid2 ~name:"shift_left" ~cond:shift_cond CD.shift_left AD.shift_left let valid_shift_right = make_valid2 ~name:"shift_right" ~cond:shift_cond CD.shift_right AD.shift_right - let valid_lognot = make_valid1 ~name:"lognot" ~cond:not_bot CD.c_lognot AD.c_lognot - let valid_logand = make_valid2 ~name:"logand" ~cond:none_bot CD.c_logand AD.c_logand - let valid_logor = make_valid2 ~name:"logor" ~cond:none_bot CD.c_logor AD.c_logor + let valid_c_lognot = make_valid1 ~name:"c_lognot" ~cond:not_bot CD.c_lognot AD.c_lognot + let valid_c_logand = make_valid2 ~name:"c_logand" ~cond:none_bot CD.c_logand AD.c_logand + let valid_c_logor = make_valid2 ~name:"c_logor" ~cond:none_bot CD.c_logor AD.c_logor let tests = [ valid_neg;