// ************************************************************************** // // // // eses eses // // eses eses // // eses eseses esesese eses Embedded Systems Group // // ese ese ese ese ese // // ese eseseses eseseses ese Department of Computer Science // // eses eses ese eses // // eses eseses eseseses eses University of Kaiserslautern // // eses eses // // // // ************************************************************************** // // A module to test the correct transfer of values from surface to depth. // // ************************************************************************** // module T02 (int !b) { ell0: pause; loop { int x; x = 1; assert(x==1); ell1: pause; assert(x==1); if(x == 1) b = 3; else b = 5; ell2: pause; x = 2; assert(x==2); } } drivenby { for(i=0..7) pause; }