public void ExceptionOnInvalidTimerTypeTest()
{
PSharpRuntime runtime = PSharpRuntime.Create();
Exception ex = Assert.Throws <AssertionFailureException>(() => runtime.SetTimerMachineType(typeof(NonMachineSubClass)));
}
