Esempio n. 1
0
        private void Test(ControlFlowGraph graph, params string[] lines)
        {
            var sequences = graph.DeriveSequences();
            Print(sequences);

            var spec = new TestSpec();
            foreach (var line in lines) {
                spec.ReadLine(line);
            }

            spec.Test(graph, sequences);
        }