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!";
}
}