Testujeme program: pravda, nebo ne?

Rozhodni, jestli program dovede robota tam, kam tvrdí věta, a jestli platí pravidla testování.