Add missing const array check

stanford-centaur · Jun 13, 2024 · 0166c83 · 0166c83
1 parent 45c8f72
commit 0166c83
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/bitwuzla/src/bitwuzla_term.cpp b/bitwuzla/src/bitwuzla_term.cpp
@@ -220,7 +220,10 @@ bool BzlaTerm::is_symbolic_const() const
   return (term.is_const() && !(term.sort().is_fun()));
 }
 
-bool BzlaTerm::is_value() const { return term.is_value(); }
+bool BzlaTerm::is_value() const
+{
+  return term.is_value() || term.kind() == bitwuzla::Kind::CONST_ARRAY;
+}
 
 std::string BzlaTerm::to_string() { return term.str(); }