testclass PerformanceTests for statechart PerformanceTest {
	@Test
	operation test_100_000 () {
		performance(100000)
	} //----------------
	@Test
	operation test_1_000_000 () {
		performance(1000000)
	}
	@Test 
	operation test_10_000_000 () {
		performance(10000000)
	}
	
	operation performance(perf : integer){
		enter
		assert active (PerformanceTest.mr.A)

		while (c < perf) {
			if (active (PerformanceTest.mr.A)) {
				raise e1
			} else {
				if (c % 2 == 0) {
					raise e2
				} else {
					raise e3
				}
			}

			proceed 1 cycle
		}

		assert a > 2
	}
}