diff --git a/transition_machine/src/Config.cpp b/transition_machine/src/Config.cpp index 514ea28d091a741fcd6225f575218a6d23e1a03d..715c944dc444ce6060d0df3699c96b6c7a9c3fd2 100644 --- a/transition_machine/src/Config.cpp +++ b/transition_machine/src/Config.cpp @@ -197,6 +197,10 @@ void Config::fillTapesWithInput() exit(1); } + if (bd.hasLineOfName("ID")) + if (util::split(cols[bd.getLineOfName("ID")], '.').size() > 1) + continue; + for(unsigned int i = 0; i < cols.size(); i++) if(bd.hasLineOfInputCol(i)) {