int nondet(); void speed_popl10_nested_multiple(int x, int n, int y, int m) { while (x<n) { while (y<m) { if (nondet()>0) break; y=y+1; } x=x+1; } }
content may be truncated. 'popout' for larger text window.