C# (CSharp) BMC.Reachable Exemples

Exemple #1

        private void btnRunReachabilityAlg_Click(object sender, EventArgs e)
        {
            ValidateProgram();

            gleeViewCFG.Graph = MyBMC.GetCFGasGLEEGraph();

            reachDebugBox.Clear();

            debugPrintDelegate matrix = delegate(string message)
            {
                reachDebugBox.AppendText(message);
                reachDebugBox.Refresh();
            };

            MyBMC.Reachable(matrix);

            labelsComboBox.Items.Clear();
            labelsComboBox.Items.AddRange(MyBMC.GetStatementLabels());
            if (labelsComboBox.Items.Count > 0)
            {
                labelsComboBox.SelectedIndex = 0;
            }
            else
            {
                labelsComboBox.Text = "Code contains no Labels!";
            }
        }