void producer(){ wait_clocks(1000); output_z(1); wait_clocks(1000); output_z(2); wait_clocks(1000); output_z(3); wait_clocks(1000); output_z(4); wait_clocks(1000); output_z(5); wait_clocks(1000); output_z(6); wait_clocks(1000); output_z(7); wait_clocks(1000); output_z(8); wait_clocks(1000); output_z(9); wait_clocks(1000); output_z(10); }
void consumer(){ wait_clocks(1000); assert(input_a()==1); wait_clocks(1000); assert(input_a()==2); wait_clocks(1000); assert(input_a()==3); wait_clocks(1000); assert(input_a()==4); wait_clocks(1000); assert(input_a()==5); wait_clocks(1000); assert(input_a()==6); wait_clocks(1000); assert(input_a()==7); wait_clocks(1000); assert(input_a()==8); wait_clocks(1000); assert(input_a()==9); wait_clocks(1000); assert(input_a()==10); report(1); }
void main(){ unsigned a = input("a"); wait_clocks(1000); assert(fgetc(a)==1); wait_clocks(1000); assert(fgetc(a)==2); wait_clocks(1000); assert(fgetc(a)==3); wait_clocks(1000); assert(fgetc(a)==4); wait_clocks(1000); assert(fgetc(a)==5); wait_clocks(1000); assert(fgetc(a)==6); wait_clocks(1000); assert(fgetc(a)==7); wait_clocks(1000); assert(fgetc(a)==8); wait_clocks(1000); assert(fgetc(a)==9); wait_clocks(1000); assert(fgetc(a)==10); report(1); }