Esempi in C# (CSharp) per PSharpRuntime.SetTimerMachineType

Esempio n. 1

File: TimerTests.cs Progetto: wxdtony/PSharp

        public void ExceptionOnInvalidTimerTypeTest()
        {
            PSharpRuntime runtime = PSharpRuntime.Create();

            Exception ex = Assert.Throws <AssertionFailureException>(() => runtime.SetTimerMachineType(typeof(NonMachineSubClass)));
        }