Searched refs:horse (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/l4v/tools/autocorres/tests/proof-tests/
H A Dwhile_loop_vars_preserved.c7 unsigned loop(unsigned dog, unsigned cat, unsigned mouse, unsigned horse) argument
10 while (dog > 0 || cat > 0 || mouse > 0 || horse > 0) {
11 if (dog > horse) {
13 } else if (horse > mouse) {
14 horse--;
22 horse--;

Completed in 33 milliseconds