Esempio n. 1
0
        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();
        }
Esempio n. 2
0
 public static void Initialize()
 {
     Test.MyLogger = new MyLogger();
     Microsoft.PSharp.Utilities.IOLogger.InstallCustomLogger(Test.MyLogger);
 }