private void Button_SimulateCounterExample_Click(object sender, EventArgs e)
{
try
{
PAT.Common.GUI.SimulationForm form = new PAT.Common.GUI.SimulationForm();
form.SetSpec(this.Button_SimulateWitnessTrace.Tag.ToString(), this.Button_SimulateWitnessTrace.Tag.ToString(), Spec, Assertion);
form.Show();
//form.Refresh();
}
catch (Exception ex)
{
Common.Ultility.Ultility.LogException(ex, Spec);
//MessageBox.Show("Exception happened: " + ex.Message + "\r\n" + ex.StackTrace,"PAT", MessageBoxButtons.OK, MessageBoxIcon.Error);
}
}
private void Button_SimulateCounterExample_Click(object sender, EventArgs e)
{
try
{
PAT.Common.GUI.SimulationForm form = new PAT.Common.GUI.SimulationForm();
form.SetSpec(this.Button_SimulateWitnessTrace.Tag.ToString(),
this.Button_SimulateWitnessTrace.Tag.ToString(),
mSpecWorker.mSpec, mSpecWorker.mAssertion);
form.Show();
//form.Refresh();
}
catch (Exception ex)
{
Common.Utility.Utilities.LogException(ex, mSpecWorker.mSpec);
//MessageBox.Show("Exception happened: " + ex.Message + "\r\n" + ex.StackTrace,"PAT", MessageBoxButtons.OK, MessageBoxIcon.Error);
}
}
