From 062e62106cbb5fccc8f0d18dbb63ff1959316817 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Thu, 6 Dec 2018 15:13:52 -0700 Subject: [PATCH] Try writing symexec in do_run_test --- bin/deepstate/main_manticore.py | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py index b7de01d..2ec04ca 100644 --- a/bin/deepstate/main_manticore.py +++ b/bin/deepstate/main_manticore.py @@ -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