[fix, tmp] Removed assert for constant.

S1eGa · Nov 18, 2023 · 1a3b629 · 1a3b629
1 parent c421267
commit 1a3b629
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/lib/Solver/BitwuzlaSolver.cpp b/lib/Solver/BitwuzlaSolver.cpp
@@ -569,8 +569,6 @@ SolverImpl::SolverRunStatus BitwuzlaSolverImpl::handleSolverResponse(
           // We can't use Term here so have to do ref counting manually
           Term initial_read = builder->getInitialRead(array, offset);
           Term initial_read_expr = theSolver.get_value(initial_read);
-          assert(initial_read_expr.is_const() &&
-                 "Evaluated expression has wrong sort");
 
           uint64_t arrayElementValue =
               std::stoull(initial_read_expr.value<std::string>(10));