Actions
Bug #5597
closed[efsm] Processing of loops
Start date:
02/03/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
20150307
Description
Processing of loops seems having been unimplemented in cfg-cgaa transformer yet.
... 2015.02.03 15:34:52.283. WARNING: Loop is found 2015.02.03 15:34:52.283. WARNING: Loop is found 2015.02.03 15:34:52.283. WARNING: Loop is found 2015.02.03 15:34:52.284. INFO: Retrascope is shutting down Exception in thread "main" java.lang.StackOverflowError at java.text.DecimalFormat.getPositivePrefixFieldPositions(DecimalFormat.java:2415) at java.text.DecimalFormat.subformat(DecimalFormat.java:1639) at java.text.DecimalFormat.format(DecimalFormat.java:712) at java.text.DecimalFormat.format(DecimalFormat.java:646) at java.text.SimpleDateFormat.zeroPaddingNumber(SimpleDateFormat.java:1393) at java.text.SimpleDateFormat.subFormat(SimpleDateFormat.java:1332) at java.text.SimpleDateFormat.format(SimpleDateFormat.java:966) at java.text.SimpleDateFormat.format(SimpleDateFormat.java:936) at java.text.DateFormat.format(DateFormat.java:345) at ru.ispras.retrascope.util.Log$LogFormatter.format(Log.java:52) at java.util.logging.StreamHandler.publish(StreamHandler.java:211) at java.util.logging.ConsoleHandler.publish(ConsoleHandler.java:116) at java.util.logging.Logger.log(Logger.java:738) at java.util.logging.Logger.doLog(Logger.java:765) at java.util.logging.Logger.log(Logger.java:788) at ru.ispras.retrascope.engine.cfg.transformer.cgaa.CfgCgaaTransformerBuilder.onCaseBegin(CfgCgaaTransformerBuilder.java:591) at ru.ispras.retrascope.model.cfg.CfgWalker.visitCase(CfgWalker.java:235) at ru.ispras.retrascope.model.cfg.CfgWalker.visitNode(CfgWalker.java:149) at ru.ispras.retrascope.model.cfg.CfgWalker.visit(CfgWalker.java:119) at ru.ispras.retrascope.model.cfg.CfgWalker.visitSwitch(CfgWalker.java:222) at ru.ispras.retrascope.model.cfg.CfgWalker.visitNode(CfgWalker.java:155) at ru.ispras.retrascope.model.cfg.CfgWalker.visit(CfgWalker.java:119) at ru.ispras.retrascope.model.cfg.CfgWalker.visitMerge(CfgWalker.java:229) at ru.ispras.retrascope.model.cfg.CfgWalker.visitNode(CfgWalker.java:152) ...
Actions