Empat Jenis Carian

Kebanyakan alat semakan menyusun penemuan mereka mengikut tahap keseriusan yang dirasakan. Alat ini menyusunnya mengikut apa yang dapat dibuktikannya. Laporan ini menunjukkan empat jenis, sentiasa dalam susunan ini.

Setiap jenis adalah tab dengan kiraannya sendiri. Jenis yang tidak menemui apa-apa tidak mempunyai tab, jadi anda tidak akan melihat tab yang kosong.

Terbukti mustahil

Pada skrin: Aritmetik, bukan tekaan.

Semakan mencapai setiap penemuan di sini dengan mengira. Ia membandingkan jam yang komited dengan slot kosong. Ia mengurangkan masa mula sah sesuatu aktiviti kepada tiada. Ia menemui dua aktiviti yang mesti berjalan pada masa yang sama dan berkongsi Pengajar.

Anda boleh bertindak atas penemuan ini tanpa menyemaknya sendiri. Jika laporan menyatakan bahawa sesuatu aktiviti tidak mempunyai masa mula yang sah, penyelesai juga tidak dapat menemuinya.

Ini adalah kontrak alat ini. Semakan tidak pernah melaporkan penemuan di sini yang tidak dapat dibuktikannya. Alat yang membangkitkan satu penggera palsu adalah alat yang anda berhenti percayai.

Kesilapan

Pada skrin: Sesuatu di sini mungkin bukan yang anda maksudkan.

Penemuan ini tidak menghentikan penyelesaian. Ia menunjukkan bahawa peraturan anda menyatakan sesuatu yang mungkin tidak anda maksudkan.

• Sesuatu peraturan menunjuk kepada sesuatu yang tidak lagi wujud.
• Sesuatu peraturan menyasarkan aktiviti yang anda matikan.
• Dua peraturan menyatakan perkara yang sama.
• Keutamaan lembut tidak boleh digunakan, jadi FET mengabaikannya.

Tiada satu pun daripada ini menjadikan jadual waktu mustahil. Peraturan yang tidak difahami oleh sesiapa menyebabkan misteri penggal seterusnya.

Apa yang menyukarkan fail ini

Pada skrin: Ini bukan masalah. Ini adalah kerja yang mesti dilakukan oleh penyelesai.

Tiada apa-apa yang salah di sini. Jenis ini menerangkan tekanan dalam fail anda. Ia menamakan aktiviti yang hampir tiada ruang lagi. Ia menamakan bahagian minggu yang ketat.

⚠ Baca jenis ini sebelum anda mengetatkan minggu.

Tajuk berubah untuk fail yang telah diselesaikan. Ia kemudian berbunyi Apa yang menyukarkan fail ini, kerana kerja telah selesai.

Apa yang dijalankan pada fail ini

Pada skrin: Jenis peraturan yang kami senaraikan dan kira, tidak pernah menilai.

Jenis ini senyap, dan ia melaporkan tentang semakan itu sendiri dan bukannya fail anda. Ia menyenaraikan jenis peraturan yang dikiranya. Ia memberitahu anda apabila mod penyelesai anda menghentikan semakan daripada berjalan. Ia memberitahu anda apabila semakan berhenti awal pada fail yang sangat besar.

Baca jenis ini apabila laporan kelihatan lebih kosong daripada yang anda jangkakan. Ia biasanya menjelaskan sebabnya.

Tab yang hilang bukan jaminan

Semakan melaporkan apa yang dapat dibuktikannya. Ia tidak bermakna segala-galanya adalah betul.

Tiada tab "Terbukti mustahil" bermaksud "tiada apa-apa yang terbukti mustahil". Ia tidak bermaksud "ini akan diselesaikan".

⚠ Ini adalah ayat yang paling penting pada halaman ini, dan skrin menjadikannya mudah terlepas pandang: tab itu tiada, jadi tiada apa-apa untuk dibaca dan tiada apa-apa untuk diklik. Ketiadaan adalah hasil yang baik, bukan yang lengkap.

Jadual waktu boleh menjadi mungkin dalam aritmetik dan masih mengambil masa yang lama untuk FET. Ia mungkin masih memerlukan peraturan dilonggarkan sebelum ia berjaya. Lihat Apa yang tidak dapat diberitahu kepada anda.

Ke mana hendak pergi seterusnya

• Memperbaiki apa yang ditemuinya
• Apa yang tidak dapat diberitahu kepada anda