static void Main(string[] args) { // Increases verbosity to see the log. var configuration = Microsoft.PSharp.Utilities.Configuration.Create(); configuration.Verbose = 2; // Installs the custom logger. var myLogger = new MyLogger(); Microsoft.PSharp.Utilities.IOLogger.InstallCustomLogger(myLogger); // Runs the program. var runtime = PSharpRuntime.Create(configuration); Test.Execute(runtime); // Closes the logger. myLogger.Close(); Console.ReadLine(); }
public static void Initialize() { Test.MyLogger = new MyLogger(); Microsoft.PSharp.Utilities.IOLogger.InstallCustomLogger(Test.MyLogger); }