კაფკა მხოლოდ ხელით შემოწმებები იყო თუ ასევე დაწერილი იყო ავტომატური ტესტები?