public void CounterExample()
{
var listArgs = args.ToList();
listArgs.Add("/mv:" + CounterExampleProvider.ModelBvd);
ServerUtils.ApplyArgs(listArgs.ToArray(), reporter);
try {
if (Parse() && Resolve() && Translate())
{
var counterExampleProvider = new CounterExampleProvider();
foreach (var boogieProgram in boogiePrograms)
{
RemoveExistingModel();
BoogieOnce(boogieProgram.Item1, boogieProgram.Item2);
var model = counterExampleProvider.LoadCounterModel();
Console.WriteLine("COUNTEREXAMPLE_START " + ConvertToJson(model) + " COUNTEREXAMPLE_END");
}
}
} catch (Exception e) {
Console.WriteLine("Error collection models: " + e.Message);
}
}
