When writing code for the ATtiny family of microcontrollers ... the IDE supports using the Arduino as a programmer as well as dedicated hardware like the BusPirate or the USBasp.

Once a minimal program had been produced ... It turns out the code ran just fine on a physical ATtiny, so the problem must have been in the Arduino simulator itself. To track down the bug in ...

As usual with Arduino, the ‘pin numbers’ aren’t the actual chip pin numbers, unless by coincidence. The led pin was correct for me, only the push button pin needed reassigning (I added a push button ...