Fixed a bug with missing process enabledness encoding in context; fixed bit count for CA

2018-04-23 20:15:46 +01:00
parent 3157bb09ef
commit 142846b90c
2 changed files with 13 additions and 9 deletions
--- a/ctx_aut.cc
+++ b/ctx_aut.cc
@@ -102,7 +102,8 @@ void CtxAut::addTransition(std::string srcStateName, std::string dstStateName)

  new_transition.src_state = getStateID(srcStateName);
  new_transition.ctx = tmpProcEntities;
-  tmpEntities.clear();
+  // tmpEntities.clear();
+  tmpProcEntities.clear();
  new_transition.dst_state = getStateID(dstStateName);
  transitions.push_back(new_transition);
 }