1. Arlen Cox
  2. z3

Commits

Leonardo de Moura  committed 6ffaadd

Fixed gcc compilation bug, add exec flag

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

  • Participants
  • Parent commits 8aecd2f
  • Branches master

Comments (0)

Files changed (2)

File lib/dl_bmc_engine.cpp

View file
  • Ignore whitespace
         expr_ref trace(m), path(m);
         trace = m.mk_const(symbol("trace"), trace_sort);
         path  = m.mk_const(symbol("path"),m_path_sort);
-        assert_expr(m.mk_app(q, trace, path));
+        assert_expr(m.mk_app(q, trace.get(), path.get()));
         lbool is_sat = m_solver.check();
         if (is_sat == l_undef) {
             model_ref md;

File test_capi/build.sh

  • Ignore whitespace
File contents unchanged.