// ************************************************************************** // // // // 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 // // // // ************************************************************************** // // The program below has a write conflict in the 35th cycle; in combination // // with another large program this will challenge tools. // // ************************************************************************** // module LateWC(bool !x,event !a,!b) { loop { x = true; emit(a); pause; pause; pause; pause; pause; } || loop { pause; pause; pause; pause; pause; pause; pause; x = false; emit(b); } } drivenby { for(i=0..36) pause; }