Comment by prmph

How do you check, from examining behavior alone, that the code does not contain stuff like this:

if (date == <some random future date>) { crash_and_burn_the_world() }

??