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); } }