Switch pull-up vs pull-down

The counters simulated in EC are triggered by a rising edge (transition from low to high) on the up/down inputs. You can then control whether the rising edge happens when you push the switch or when you release the switch.