From ca396d8d1368aa76790552ab4d0792b0c5ab1aea Mon Sep 17 00:00:00 2001
From: Mark Mossberg <mark.mossberg@gmail.com>
Date: Tue, 21 Mar 2017 16:47:40 -0400
Subject: [PATCH] Use OrderedDict (#84)

It can be useful to know elements in `branches` towards the end are
more recently discovered branches
---
 manticore/core/state.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/manticore/core/state.py b/manticore/core/state.py
index 5e82dab..20a3048 100644
--- a/manticore/core/state.py
+++ b/manticore/core/state.py
@@ -1,3 +1,5 @@
+from collections import OrderedDict
+
 from .executor import manager
 from .smtlib import solver
 from ..utils.helpers import issymbolic
@@ -32,7 +34,7 @@ class State(object):
         # Stats I'm not sure we need in general
         self.last_pc = (None, None)
         self.visited = set()
-        self.branches = {}
+        self.branches = OrderedDict()
         self._child = None
 
     def __reduce__(self):