Add missing nary api functions

formalsec · Sep 19, 2024 · 6709acf · 6709acf
1 parent 76344ce
commit 6709acf
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/src/bitwuzla_mappings.default.ml b/src/bitwuzla_mappings.default.ml
@@ -64,6 +64,10 @@ module Fresh_bitwuzla (B : Bitwuzla_cxx.S) : M = struct
 
   let or_ t1 t2 = mk_term2 Kind.Or t1 t2
 
+  let logand ts = mk_term Kind.And (Array.of_list ts)
+
+  let logor ts = mk_term Kind.Or (Array.of_list ts)
+
   let xor t1 t2 = mk_term2 Kind.Xor t1 t2
 
   let eq t1 t2 = mk_term2 Kind.Equal t1 t2

diff --git a/src/mappings.nop.ml b/src/mappings.nop.ml
@@ -50,6 +50,10 @@ module Nop = struct
 
     let or_ _ = assert false
 
+    let logand _ = assert false
+
+    let logor _ = assert false
+
     let xor _ = assert false
 
     let eq _ = assert false