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