module testcases {
	import from types all;
	import from configuration all;
	import from functions all;
	testcase tc1() runs on sampleComponent1 system sampleComponent3{
		map(mtc:p1, system:p1)
		map(mtc:p2, system:p2)
		
		f1();
		f2(1, "a")
		
		unmap(mtc:p1, system:p1)
		unmap(mtc:p2, system:p2)
		
	}
	
	testcase tc2() runs on sampleComponent1 system sampleComponent3{
		map(mtc:p1, system:p1)
		var sampleComponent2 component2, component3;
		component2 := sampleComponent2.create;
		component3 := sampleComponent2.create;
		
		component2.start(f3());
		component3.start(f4(1, "a"));
		
		unmap(mtc:p1, system:p1)

	}
	
}