Class ControlFlowInspector


  • public class ControlFlowInspector
    extends java.lang.Object
    • Constructor Detail

      • ControlFlowInspector

        public ControlFlowInspector​(Model model,
                                    ru.ispras.microtesk.tools.symexec.SymbolicExecutor.BodyInfo info)