// ************************************************************************** // // // // 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 // // // // ************************************************************************** // // This program is constructive in Quartz due to a built-in simplification // that reduces the guarded action o&!o => o to false => o. This might be // questionable, since the program would not be constructive without this // reduction. // ************************************************************************** // module P16(event o) { if(o) if(!o) emit(o); assert(!o); } drivenby { nothing; }