Try writing symexec in do_run_test

2018-12-06 15:13:52 -07:00
parent 5cc17b00ed
commit 062e62106c
1 changed files with 1 additions and 0 deletions
@@ -335,6 +335,7 @@ def do_run_test(state, apis, test, hook_test=False):

  state = m.initial_state
  mc = DeepManticore(state)
+  mc.write_uint32_t(apis["UsingSymExec"], 8589934591)
  mc.begin_test(test)
  del mc